department of informatics

FDS

FDS Publications

This list may not be fully up to date.

Publications 2011 ( 6 items )
Publications 2010 ( 6 items )
Publications 2009 ( 7 items )
Publications 2008 ( 4 items )
Publications 2007 ( 7 items )
Publications 2006 ( 2 items )
Publications 2005 ( 3 items )
Publications 2004 ( 6 items )
Publications 2003 ( 3 items )
Publications 2002 ( 9 items )
Publications 2001 ( 6 items )
Publications 2000 ( 5 items )
Publications 1999 ( 3 items )
Publications 1998 ( 1 item )

Publications Jürg Kohlas

Publications 2011

Endre Bangerter, David Gullasch, Stephan Krenn:
Cache Games - Bringing Access-Based Cache Attacks on AES to Practice
at: COSADE 2011 and IEEE Symposium on Security and Privacy 2011

Reto Koenig, Rolf Haenni, Stefan Fischli:
Preventing Board Flooding Attacks in Coercion-Resistant Electronic Voting Schemes
at: SEC 2011

Oliver Spycher, Reto Koenig, Rolf Haenni, Michael Schläpfer:
A New Approach Towards Coercion-Resistant Remote E-Voting in Linear Time
at: FC 2011

Eric Dubuis, Stefan Fischli, Rolf Haenni, Uwe Serdült, Oliver Spycher:
Selectio Helvetica: A Verifiable Remote E-Voting System
at: CeDEM 2011

Endre Bangerter, Stephan Krenn, Matrial Seifriz, Ulrich Ultes-Nitsche:
cPLC - A Cryptographic Programming Language and Compiler
at: ISSA 2011

Jan Camenisch, Stephan Krenn, Victor Shoup:
A Framework for Practical Universally Composable Zero-Knowledge Protocols
at: ASIACRYPT 2011

Publications 2010

Endre Bangerter, Jan Camenisch, Stephan Krenn:
Efficiency Limitations for Sigma-Protocols for Group Homomorphisms
at: TCC 2010

Carolin Latze, Ulrich Ultes-Nitsche:
A Proof of Concept Implementation and Evaluation of a Zero Configuration Authentication Option for EAP-TLS
at: EWNS 2010

José Bacelar Almeida, Endre Bangerter, Manuel Barbosa, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider:
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge based on Sigma-Protocols
at: ESORICS 2010

Rolf Haenni, Oliver Spycher:
A Novel Protocol to Allow Revocation of Votes in a Hybrid Voting System
at: ISSA 2010

Rolf Haenni, Oliver Spycher:
Coercion-Resistant Hybrid Voting Systems
at: EVOTE 2010

Reto König, Eric Dubuis, Rolf Haenni:
Why Public Registration Boards are Required in E-Voting Systems Based on Threshold Blind Signature Protocols
at: EVOTE 2010

Publications 2009

Carolin Latze, Ulrich Ultes-Nitsche, Andreas Ruppen:
A Proof Of Concept Implementation Of a Secure E-Commerce Authentication Scheme
at: ISSA 2009

Carolin Latze, Ulrich Ultes-Nitsche, Florian Baumgartner:
Transport Layer Security (TLS) Extensions for the Trusted Platform Module (TPM)
IETF Internet Draft

Carolin Latze, Ulrich Ultes-Nitsche, Florian Baumgartner:
Extensible Authentication Protocol Method for Trusted Computing Groups (TCG) Trusted Platform Modules
IETF Internet Draft

Endre Bangerter, Stefania Barzan, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider, and Joe-Kai Tsay:Bringing Zero-Knowledge Proofs of Knowledge to Practice
at: SPW 2009 (to appear)

Endre Bangerter, Thomas Briner, Wilko Henecka, Stephan Krenn, Ahmad-Reza Sadeghi, and Thomas Schneider:Automatic Generation of Sigma-Protocols
at: EuroPKI 2009

Endre Bangerter, Jan Camenisch, Stephan Krenn, Ahmad-Reza Sadeghi, and Thomas Schneider:Automatic Generation of Sound Zero-Knowledge Protocols
at: Postersession of EUROCRYPT 2009

Endre Bangerter, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider, and Joe-Kai Tsay:On the Design and Implementation of Efficient Zero-Knowledge Proofs of Knowledge
at: SPEED-CC 2009

Publications 2008

Marc Brogle, Dragan Milic, Markus Anwander, Gerald Wagenknecht, Markus Waelchli, Torsten Braun, Raphael Kummer, Markus Wulff, Ronny Standtke, Heiko Sturzrehm, Etienne Riviere, Pascal Felber, Stephan Krenn, Christoph Ehret, Carolin Latze, Philipp Hurni, Thomas Staub:
BeNeFri Summer School on Dependable Systems
Technical report

Carolin Latze, Ulrich Ultes-Nitsche, Florian Baumgartner:
Towards a Zero Configuration Authentication Scheme for 802.11 Based Networks
at: LCN 2008

Carolin Latze, Ulrich Ultes-Nitsche:
Roaming, Accounting and Seamless Handover in EAP-TLS Authenticated Networks
at: SoftCOM 2008

Carolin Latze, Ulrich Ultes-Nitsche:
A Proof-of-Concept Implementation of EAP-TLS with TPM Support
at: ISSA 2008

Publications 2007

Dominik Jungo, David Buchmann and Ulrich Ultes-Nitsche:
Improving Network Reliability by avoiding Misconfiguration
at: DRCN 2008

Dominik Jungo, David Buchmann and Ulrich Ultes-Nitsche:
Assessment of code quality through classification of unit tests in VeriNeC
at: AINA 2008

David Buchmann, Dominik Jungo and Ulrich Ultes-Nitsche:
A role model to cope with the complexity of network configuration
at: INOC 2008

Torsten Braun, Ulrich Ultes-Nitsche, Marc Brogle, Dragan Milic, Patrick Lauer, Thomas Staub, Gerald Wagenknecht, Markus Anwander, Markus Waelchli, Markus Wulff, Carolin Latze, Michael Hayoz, Christoph Ehret, Thierry Nicola:
RVS Retreat 2007
Technical report

Carolin Latze, Ulrich Ultes-Nitsche, Florian Baumgartner:
Strong Mutual Authentication in a User-Friendly Way in EAP-TLS
at: SoftCOM 2007

Carolin Latze, Ulrich Ultes-Nitsche:
Using a Trusted Platform Module to enable a Secure Usage of Nodes in Company Networks. An extension of the AEGIS approach
at: KIVS 2007

Carolin Latze, Ulrich Ultes-Nitsche:
Stronger Authentication in e-Commerce: How to Protect Even Naive User Against Phishing, Pharming, and MITM Attacks
at: CSNA 2007

Publications 2006

David Buchmann, Dominik Jungo and Ulrich Ultes-Nitsche:
Environmental Acquisition in Mobile Network Simulation
at: WINSYS 2006

Dominik Jungo, David Buchmann and Ulrich Ultes-Nitsche:
Testing of semantic properties in XML documents
at: MSVVEIS 2006

Publications 2005

David Buchmann, Dominik Jungo and Ulrich Ultes-Nitsche:
Automated Configuration Distribution in Verinec
at: ICETE 2005

Thierry Nicola, Frank Niessner and Ulrich Ultes-Nitsche:
Model-checking Inherently Fair Linear-time Properties
at: MSVEISEV 2005

Dominik Jungo, David Buchmann and Ulrich Ultes-Nitsche:
A Unit Testing Framework for Network Configurations
at: MSVVEIS 2005

Publications 2004

Dominik Jungo, David Buchmann and Ulrich Ultes-Nitsche:
The Role of Simulation in a Network Configuration Engineering Approach
at: ICICT 2004

InSeon Yoo and Ulrich Ultes-Nitsche:
How to Predict Email Viruses under Uncertainty
at: IPCCC (WIA) 2004

InSeon Yoo:
Protocol Anomaly Detection and Verification
at: IEEE Information Assurance Workshop 2004

Ulrich Ultes-Nitsche and InSeon Yoo:
Run-time Protocol-Conformance Verification in Firewalls
at: ISSA 2004

InSeon Yoo and Ulrich Ultes-Nitsche:
Towards Run-time Protocol Anomaly Detection and Verification
at: ICETE 2004

InSeon Yo:
Adaptive Firewall Model to Detect Email Viruses
at: ICCST 2004

Publications 2003

Ulrich Ultes-Nitsche and InSeon Yoo:
Steps Toward and Intelligent Firewall - A Basic Model
at: ISSA 2003

InSeon Yoo and Ulrich Ultes-Nitsche:
Adaptive Detection of Worms/Viruses in Firewalls
at: CNIS 2003

P. Isaías, F. Sedes, J. C. August, and Ulrich Ultes-Nitsche (eds):
New Technologies for Information Systems
Proceedings of NDDL 2003 and VVEIS 2003

Publications 2002

Ulrich Ultes-Nitsche and InSeon Yoo:
An Intelligent Firewall to Detect Novel Attacks ; Pairing Detecting Malicious Patterns with Anomaly
at: ISSA 2002

Simon Chudley and Ulrich Ultes-Nitsche:
Simulation and implementation of an e-commerce network infrastructure using XML specifications
at: BIS 2002

M. Leuschel and Ulrich Ultes-Nitsche (eds):
Proceedings of the ACM Sigplan International Workshop on Verification and Computational Log
at: VCL 2002

Simon Chudley and Ulrich Ultes-Nitsche:
Configuring firewalls an XML-based approach to modelling and implementing firewall configurations
at: ISSA 2002

InSeon Yoo and Ulrich Ultes-Nitsche:
An Integrated Network Security Approach ; Pairing Detecting Malicious Patterns with Anomaly Detection
at: ISSA 2002

Ulrich Ultes-Nitsche and InSeon Yoo:
An Intelligent Firewall to Detect Novel Attacks ; Pairing Detecting Malicious Patterns with Anomaly
at: ISSA 2002

InSeon Yoo and Ulrich Ultes-Nitsche:
Intelligent Firewall: Packet-Based Recognition Against Internet-Scale Virus Attacks
at: CCN 2002

Ulrich Ultes-Nitsche:
Do we need liveness? - approximation of liveness properties by safety properties.
at: SOFSEM 2002

InSeon Yoo and Ulrich Ultes-Nitsche:
An Intelligent Firewall To Detect Novel Attacks ; An Integrated Approach based on Anomaly Detection
at: SOFSEM 2002

Publications 2001

Ulrich Ultes-Nitsche and Stephanie Teufel:
Secure internet-access to medical data
at: ECIS 2000

Ulrich Ultes-Nitsche and Simon St. James:
Testing liveness properties: Approximating liveness properties by safety properties
at: FORTE 2001

S. Gnesi and Ulrich Ultes-Nitsche (eds):
Proceedings of the 6th Internation Workshop on Formal Methods for Industrial Critical Systems
Proceedings of the 6th Internation Workshop on Formal Methods for Industrial Critical Systems

M. Leuschel, A. Podelski, C. Ramakrishnan, and Ulrich Ultes-Nitsche (eds):
Proceedings of the ACM Sigplan International Workshop on Verification and Computational Log
Proceedings of the ACM Sigplan International Workshop on Verification and Computational Log

Ulrich Ultes-Nitsche and Stephanie Teufel:
Acceso seguro por internet a datos médicos
at: CEPIS 2001
Translation by Alejandro Curado Fuentes and Valentn Masero Vargas

Simon St. James and Ulrich Ultes-Nitsche:
Computing property-preserving behaviour abstractions from trace reductions
at: PODC 2001

Publications 2000

Ulrich Ultes-Nitsche:
Satisfaction up to liveness ; automatic verification based on exhaustive testing
at: FORTE/ PSTV2000

Ulrich Ultes-Nitsche and Simon St. James:
Weakly continuation-closed abstractions can be defined on trace reductions
at: VCL 2000

M. Leuschel, A. Podelski, C. Ramakrishnan, and Ulrich Ultes-Nitsche (eds):
Proceedings of the International Workshop on Verification and Computational Logic
Proceedings of the International Workshop on Verification and Computational Logic

Ulrich Ultes-Nitsche:
Servidor seguro para aplicaciones java.
at: CEPIS 2000
Translation by Alfonso Escolano

Ulrich Ultes-Nitsche:
Secure server-side java applications
in: Informatik Journal of the Swiss Chapter of the ACM

Publications 1999

P. Hartel, M. Butler, A. Currie, P. Henderson, M. Leuschel, A. Martin, A. Smith, Ulrich Ultes-Nitsche, and B. Walter:
Questions and answers about ten formal methods
at: FMICS 1999

E. Hepworth and Ulrich Ultes-Nitsche:
Security of a Java-Servlet-based web-hosted e-mail system.
at: IFIP 1999

Ulrich Ultes-Nitsche:
A persistent-set approach to abstract state-space construction in verification
at: SOFSEM 1999

Publications 1998

Ulrich Ultes-Nitsche:
Towards the construction of an abstract state-space from a partial-order representation of the concrete one
in: Electronic Notes in Theoretical Computer Science