Publications

2013

• Martin Hirt, Christoph Lucas, and Ueli Maurer,
  A Dynamic Tradeoff Between Active and Passive Corruptions in Secure Multi-Party Computation.
  Crypto 2013, to appaer.

• David Basin, Matus Harvan, Felix Klaedtke, and Eugen Zalinescu.
  Monitoring Data Usage in Distributed Systems.
  IEEE Transactions on Software Engineering, to appear.

• Elias Raftopoulos and Xenofontas Dimitropoulos.
  Understanding Network Forensics Analysis in an Operational Environment.
  IEEE International Workshop on Cyber Crime (IWCC), 2013.

• David Gugelmann, Dominik Schatzmann, and Vincent Lenders.
  Horizon extender: long-term preservation of data leakage evidence in web traffic.
  ACM SIGSAC symposium on Information, computer and communications security (ASIA CCS), 2013.

2012

• David Gugelmann, Dominik Schatzmann, and Vincent Lenders.
  AFR: automatic multi-stage forensic data retrieval.
  ACM conference on CoNEXT student workshop (CoNEXT Student), 2012.

• Claudio Marforio, Hubert Ritzdorf, Aurélien Francillon, and Srdjan Capkun.
  Analysis of the Communication between Colluding Applications on Modern Smartphones
  In Proceedings of 28th Annual Computer Security Applications Conference (ACSAC), 2012.
  

• David Basin, Vincent Jugé, Felix Klaedtke, and Eugen Zălinescu.
  Enforceable Security Policies Revisited.
  In Proceedings of the 1st Conference on Principles of Security and
  Trust (POST 2012). Lecture Notes in Computer Science, volume 7215, pages 309-328. Springer, 2012.

• David Basin, Felix Klaedtke, Srdjan Marinovic, and Eugen Zalinescu.
  Monitoring Compliance Policies over Incomplete and Disagreeing Logs.
  Accepted for publication at the 3rd Conference on Runtime Verification (RV), 2012.

• Joel Reardon, Srdjan Capkun, David Basin
  Data Node Encrypted File System: Efficient Secure Deletion for Flash Memory
  In Proceedings of the 21st USENIX Security Symposium, 2012.
  

• Joel Reardon, Claudio Marforio, Srdjan Capkun, David Basin
  Secure Deletion on Log-structured File Systems
  In Proceedings of the ACM Symposium on Information, Computer and Communications Security (ASIACCS), 2012.

2011

• Martin Hirt, Christoph Lucas, Ueli Maurer, and Dominik Raub
  Graceful Degradation in Multi-Party Computation
  The 5th International Conference on Information Theoretic Security - ICITS 2011, Lecture Notes in Computer Science, Springer-Verlag, vol. 6673, pp. 163–180, 2011.

• Boris Danev, Davide Zanetti, Srdjan Capkun
  On Physical-layer Identification of Wireless Devices
  In ACM Computing Surveys, 2011.
  

• Nils Ole Tippenhauer, Christina Pöpper, Kasper Bonne Rasmussen, Srdjan Capkun
  On the Requirements for Successful GPS Spoofing Attacks
  In Proceedings of the ACM Conference on Computer and Communications Security (CCS), 2011.

• Christina Pöpper, Nils Ole Tippenhauer, Boris Danev, Srdjan Capkun
  Investigation of Signal and Message Manipulations on the Wireless Channel
  In Proceedings of the European Symposium on Research in Computer Security (ESORICS), 2011.

• Aurelien Francillon, Boris Danev, Srdjan Capkun
  Relay Attacks on Passive Keyless Entry and Start Systems in Modern Cars
  In Proceedings of the 18th Network and Distributed System Security Symposium (NDSS), 2011.
  Preceding technical report: Cryptology ePrint Archive Report 2010/332, 2010
  (Media reports: Tages Anzeiger , ETH Life)

2010

• Davide Zanetti, Boris Danev, Srdjan Capkun
  Physical-layer Identification of UHF RFID Tags
  In Proceedings of the 16th ACM MobiCom (Annual International Conference on Mobile Computing and Networking), Oct 2010.

• Mario Frank, Joachim M. Buhmann and David Basin
  On the Definition of Role Mining
  15th ACM Symposium on Access Control Models and Technologies - SACMAT 2010, June 2010.

• Marc Kuhn, Heinrich Luecken, Nils Ole Tippenhauer,
  UWB Impulse Radio Based Distance Bounding
  In Proceedings of WPNC (Workshop on Positioning, Navigation and Communication), 2010.

• Christoph Lucas, Dominik Raub, and Ueli Maurer
  Hybrid-Secure MPC: Trading Information-Theoretic Robustness for Computational Privacy
  29th ACM Symposium on Principles of Distributed Computing - PODC 2010, July 2010.

• Boris Danev, Heinrich Luecken, Srdjan Capkun and Karim El Defrawy
  Attacks on Physical-layer Identification
  In Proceedings of the 3th ACM Conference on Wireless Network Security (WiSec), March 2010.

2009

• Mario Frank, Andreas P. Streich, David Basin and Joachim M. Buhmann
  A Probabilistic Approach to Hybrid Role Mining
  16th ACM Conference on Computer and Communications Security - CCS 2009, November 2009.
  
  
• Nils Ole Tippenhauer, Srdjan Capkun
  ID-based Secure Distance Bounding and Localization
  In Proceedings of ESORICS (European Symposium on Research in Computer Security), 2009.
  

• Boris Danev, Thomas S. Heydt-Benjamin, Srdjan Capkun,
  Physical-layer Identification of RFID Devices,
  In Proceedings of the 18th USENIX Security Symposium (USENIX Security), 2009

• Nils Ole Tippenhauer, Kasper Bonne Rasmussen, Christina Pöpper, Srdjan Capkun
  Attacks on Public WLAN-based Positioning Systems
  In Proceedings of the ACM/Usenix International Conference on Mobile Systems, Applications and Services (MobiSys), 2009.

• Boris Danev, Srdjan Capkun,
  Transient-based Identification of Wireless Sensor Nodes,
  In Proceedings of the ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN), 2009
  
  
• Andreas P. Streich, Mario Frank, David Basin and Joachim M. Buhmann
  Multi-Assignment Clustering for Boolean Data
  26th International Conference on Machine Learning - ICML 2009, June 2009.
  
  
• Divesh Aggarwal and Ueli Maurer
  Breaking RSA Generically is Equivalent to Factoring
  Advances in Cryptology - EUROCRYPT 2009, Lecture Notes in Computer Science, Springer-Verlag, vol. 5479, pp. 36-53, Apr 2009.

2008

• Mario Frank, David Basin and Joachim M. Buhmann
  
  A Class of Probabilistic Models for Role Engineering
  15th ACM Conference on Computer and Communications Security - CCS 2008, October 2008.

• Krzysztof Pietrzak and Johan Sjödin
  Weak Pseudorandom Functions in Minicrypt
  ICALP 2008, Lecture Notes in Computer Science, Springer-Verlag, vol. 5126, pp. 423-436, Jul 2008.

• Zuzana Beerliova-Trubiniova and Martin Hirt
  Perfectly-Secure MPC with Linear Communication Complexity
  Theory of Cryptography - TCC 2008, Lecture Notes in Computer Science, Springer-Verlag, vol. 4948, pp. 213-230, Mar 2008.

• Zuzana Beerliova-Trubiniova, Matthias Fitzi, Martin Hirt, Ueli Maurer, and Vassilis Zikas
  MPC vs. SFE: Perfect Security in a Unified Corruption Model
  Theory of Cryptography - TCC 2008, Lecture Notes in Computer Science, Springer-Verlag, vol. 4948, pp. 231-250, Mar 2008

• Christoph Sprenger and David Basin
  Cryptographically-sound Protocol-model Abstractions
  In Proceedings of the 21st IEEE Computer Security Foundations Symposium, CSF 2008, Pittsburgh, Pennsylvania, 23-25 June 2008, pages 111-129. IEEE Computer Society, 2008.

• Christoph Sprenger and David Basin
  Cryptographically-sound Protocol-model Abstractions
  In Proceedings of the 23rd Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pages 115-129. IEEE Computer Society, 2008.
  

• Daniela Brauckhoff, Arno Wagner, Martin May
  Flame: A Flow-level Anomaly Modeling Engine
  Usenix Security, CSET Workshop, San Jose, CA, USA, July 2008.

2007

• Zuzana Beerliova-Trubiniova and Martin Hirt
  Simple and Efficient Perfectly-Secure Asynchronous MPC
  Advances in Cryptology - ASIACRYPT 2007, Lecture Notes in Computer Science, Springer-Verlag, vol. 4833, pp. 376-392, 2007.

• Zuzana Beerliova-Trubiniova, Martin Hirt, and Micha Riser
  Efficient Byzantine Agreement with Faulty Minority
  Advances in Cryptology - ASIACRYPT 2007, Lecture Notes in Computer Science, Springer-Verlag, vol. 4833, pp. 393 - 409, 2007.

• Kasper Bonne Rasmussen, Srdjan Capkun,
  Implications of Radio Fingerprinting on the Security of Sensor Networks,
  to appear in Proceedings of IEEE SecureComm, 2007

• Christoph Sprenger and David Basin
  A monad-based modeling and verification toolbox with application to security protocols
  Theorem Proving in Higher-Order Logics (TPHOLs), Lecture Notes in Computer Science, vol. 4732, p. 301-317, Springer-Verlag, 2007
  

• Paul E. Sevinç, Mario Strasser, and David Basin
  Securing the Distribution and Storage of Secrets with Trusted Platform Modules
  WISTP 2007, Lecture Notes in Computer Science, Springer-Verlag, vol. 4462, pp. 53-66, May 2007.

• Ueli Maurer and Johan Sjödin
  A Fast and Key-Efficient Reduction of Chosen-Ciphertext to Known-Plaintext Security.
  EUROCRYPT '07, Lecture Notes in Computer Science, Springer-Verlag, vol. 4515, pp. 498-516, May 2007.

• Krzysztof Pietrzak and Johan Sjödin
  Range Extension for Weak PRFs; The Good, the Bad, and the Ugly.
  EUROCRYPT '07, Lecture Notes in Computer Science, Springer-Verlag, vol. 4515, pp. 517-533, May 2007.

• David Basin, Ernst-Rüdiger Olderog, and Paul E. Sevinç
  Specifying and Analyzing Security Automata using CSP-OZ
  AsiaCCS 2007, pp. 70-81, March 2007.

• Daniela Brauckhoff, Martin May, Bernhard Plattner
  Flow-Level Anomaly Detection - Blessing or Curse?
  IEEE INFOCOM 2007, Student Workshop, Anchorage, Alaska, USA, May, 2007.

2006

• Christoph Sprenger, Michael Backes, David Basin, Birgit Pfitzmann and Michael Waidner
  Cryptographically Sound Theorem Proving
  Proc. of 19th IEEE Computer Security Foundations Workshop, CSFW 06, Venice, Italy, pp. 153-166, July 2006.

• Paul E. Sevinç, David Basin, and Ernst-Rüdiger Olderog
  Controlling Access to Documents: A Formal Access Control Model
  ETRICS 2006, Lecture Notes in Computer Science, Springer-Verlag, vol. 3995, pp. 352-367, June 2006.

• Ueli Maurer, Yvonne Anne Oswald, Krzysztof Pietrzak, and Johan Sjödin
  Luby-Rackoff Ciphers from Weak Round Functions?
  EUROCRYPT '06, Lecture Notes in Computer Science, Springer-Verlag, vol. 4004, pp. 391-408, May 2006. © IACR

• Paul E. Sevinç and David Basin
  Controlling Access to Documents: A Formal Access Control Model
  Technical Report No. 517, Department of Computer Science, ETH Zurich, 8092 Zurich, Switzerland, May 2006.

• Zuzana Beerliova and Martin Hirt
  Efficient Multi-Party Computation with Dispute Control
  TCC '2006, Lecture Notes in Computer Science, Springer-Verlag, vol. 3876, pp. 305-328, Mar 2006.

• Michael Backes, Sebastian Mödersheim, Birgit Pfitzmann, and Luca Viganò
  Symbolic and Cryptographic Analysis of the Secure WS-Reliable Messaging Scenario
  To appear in FOSSACS 2006.

• Daniela Brauckhoff, Ulrich Fiedler, Bernhard Plattner
  Towards Systematically Evaluating Flow-level Anomaly Detection Mechanisms
  Workshop on Monitoring, Attack Detection and Mitigation (MonAM 2006), Tübingen, Germany, September, 2006.

2005

• Ueli Maurer and Johan Sjödin
  Domain Expansion of MACs: Alternative Uses of the FIL-MAC
  Cryptography and Coding 2005, Lecture Notes in Computer Science, Springer-Verlag, vol. 3796, pp. 168-185, Dec 2005. © Springer
  

• David Basin, Sebastian Mödersheim, and Luca Viganò
  Algebraic Intruder Deductions
  LPAR 2005, LNAI 3835, Springer-Verlag, pp. 549-564, Dec 2005.

• Paul E. Sevinç
  Document Security
  ERCIM News, no. 63, Oct 2005.

• Ueli Maurer and Johan Sjödin
  Single-key AIL-MACs from any FIL-MAC
  ICALP 2005, Lecture Notes in Computer Science, Springer-Verlag, vol. 3580, pp. 472-484, Jul 2005. © Springer