Journals

1. A Construction of Short Sequences Containing All Permutations of a Set as Subsequences. In Electronic Journal of Combinatorics, 19 (4): Paper 31, 11 pp., 2012.
   [pdf]  [bib]
2. Attack--Defense Trees. with B. Kordy, S. Mauw and P. Schweitzer. In Journal of Logic and Computation, 2012.
   [pdf]  [doi]  [bib]
3. On a new formal proof model for RFID location privacy. with T. v. Deursen. In Information Processing Letters, 110 (2): 57-61, 2009.
   Extended version available at http://eprint.iacr.org/2008/477
   [doi]  [bib]
4. A framework for compositional verification of security protocols. with S. Andova, C.J.F. Cremers, K. Gjøsteen, S. Mauw and S.F. Mjølsnes. In Information and Computation, 206: 425-459, 2008.
   [pdf]  [doi]  [bib]
5. Restricted walks in regular trees. with L. Ciobanu. In Electronic Journal of Combinatorics, 13 (1): Research Paper 93, 18 pp., 2006.
   [pdf]  [bib]

Conference Proceedings

1. Constructing Optimistic Multi-party Contract Signing Protocols. with B. Kordy. In 25th IEEE Computer Security Foundations Symposium (CSF 2012), pages 215-229, IEEE Computer Society, 2012.
   [pdf]  [bib]
2. mCarve: Carving attributed dump sets. with T. v. Deursen and S. Mauw. In 20th USENIX Security Symposium, pages 107-121, USENIX Association, 2011.
   Tool available at http://satoss.uni.lu/software/ccarve/
   [pdf]  [bib]
3. Contextual Biometric-based Authentication for Ubiquitous Services. with I. Buhan and G. Lenzini. In 7th International Conference on Ubiquitous Intelligence and Computing (UIC 2010), pages 680-693, Springer-Verlag, LNCS 6406, 2010.
   [doi]  [bib]
4. Minimal message complexity of asynchronous multi-party contract signing. with S. Mauw and M. T. Dashti. In 22nd IEEE Computer Security Foundations Symposium (CSF 2009), pages 13-25, IEEE Computer Society, 2009.
   [pdf]  [doi]  [bib]
5. Secure ownership and ownership transfer in RFID systems. with T. v. Deursen, S. Mauw and P. Vullers. In 14th European Symposium On Research In Computer Security (ESORICS 2009), pages 637-654, Springer-Verlag, LNCS 5789, 2009.
   [pdf]  [doi]  [bib]

Workshop Proceedings

1. Insider attacks and privacy of RFID protocols. with T. v. Deursen. In Public Key Infrastructures, Services and Applications (EuroPKI 2011), pages 91-105, Springer-Verlag, LNCS 7163, 2012.
   [pdf]  [doi]  [bib]
2. Security protocols for Secret Santa. with S. Mauw and P.Y. Ryan. In 18th Security Protocols Workshop (SPW 2010), Springer-Verlag, LNCS , 2010.
   To appear.
   [pdf]  [bib]
3. EC-RAC: Enriching a Capacious RFID Attack Collection. with T. v. Deursen. In Radio Frequency Identification: Security and Privacy Issues (RFIDSec 2010), pages 75-90, Springer-Verlag, LNCS 6370, 2010.
   [pdf]  [doi]  [bib]
4. Foundations of Attack--Defense Trees. with B. Kordy, S. Mauw and P. Schweitzer. In 7th international Workshop on Formal Aspects in Security and Trust (FAST 2010), pages 80-95, Springer-Verlag, LNCS 6561, 2011.
   [pdf]  [doi]  [bib]
5. Algebraic Attacks on RFID Protocols. with T. v. Deursen. In Information Security Theory and Practices. Smart Devices, Pervasive Systems, and Ubiquitous Networks (WISTP 2009), pages 38-51, Springer-Verlag, LNCS 5746, 2009.
   [pdf]  [doi]  [bib]
6. Security of RFID Protocols -- A Case Study. with T. v. Deursen. In 4th International Workshop on Security and Trust Management (STM 2008), pages 41-52, Elsevier, ENTCS 244, 2009.
   [pdf]  [doi]  [bib]
7. Chosen-name attacks: An overlooked class of type-flaw attacks. with P. Ceelen and S. Mauw. In 3rd International Workshop on Security and Trust Management (STM 2007), pages 31-43, Dresden, Germany, ENTCS 197, 2008.
   [pdf]  [doi]  [bib]
8. Towards a Decision Model Based on Trust and Security Risk Management. with B. Alcalde, E. Dubois, S. Mauw and N. Mayer. In Seventh Australasian Information Security Conference (AISC 2009), pages 61-69, Australian Computer Society, CRPIT 98, 2009.
   [bib]
9. Untraceability of RFID Protocols. with T. v. Deursen and S. Mauw. In Information Security Theory and Practices. Smart Devices, Convergence and Next Generation Networks (WISTP 2008), pages 1-15, Springer-Verlag, LNCS 5019, 2008.
   [pdf]  [doi]  [bib]
10. Security of an RFID Protocol for Supply Chains. with T. v. Deursen. In IEEE Int. Conf. e-Business Engineering (ICEBE 2008), pages 568-573, IEEE Computer Society, 2008.
    [pdf]  [doi]  [bib]

Technical Reports, Notes, and Preprints

1. Attacks on RFID protocols (version 1.1). with T. v. Deursen. Cryptology ePrint Archive, Report 2008/310, 2009.
   http://eprint.iacr.org/2008/310
   [pdf]  [bib]
2. Untraceable RFID protocols are not trivially composable: Attacks on the revision of EC-RAC. with T. v. Deursen. Cryptology ePrint Archive, Report 2009/332, 2009.
   http://eprint.iacr.org/2009/332
   [pdf]  [bib]
3. An example of proving UC-realization with formal methods. with S. Andova, K. Gjøsteen, L. Kråkmo and F. Mjølsnes. Workshop on Formal and Computational Cryptography (FCC 2006), 2006.
   [pdf]  [bib]

Theses

1. Cusp Forms over Function Fields and Modular Symbols. Ph.D. Thesis, Rutgers University, 2005.
   [pdf]  [bib]
2. Investigations Into Span Programs with Multiplication. Master's Thesis, ETH Zürich, 1998.
   [pdf]  [bib]