Edited Books | |
| [BK09] | Michele Boreale and Steve Kremer (eds.). Proceedings of the 7th International Workshop on Security Issues in Concurrency (SecCo'09), Bologna, Italy, October 2009, Electronic Proceedings in Theoretical Computer Science 7. ( Web page | BibTeX ) |
| [KP09] | Steve Kremer and Prakash Panangaden (eds.). Proceedings of the 6th International Workshop on Security Issues in Concurrency (SecCo'08), Toronto, Canada, August 2008, ENTCS 242(3). Elsevier Science Publishers, 2009. ( Web page | BibTeX ) |
| [CKR08] | Liqun Chen, Steve Kremer and Mark D. Ryan (eds.). Formal Protocol Verification Applied, Dagstuhl, Germany, October 2007, Dagstuhl Seminar Proceedings 07421. ( Web page | BibTeX ) |
Journals | |
| [DKS10] | . Formal Analysis of PKCS#11 and Proprietary Extensions. Journal of Computer Security, 2010. To appear. ( PDF | BibTeX + Abstract ) |
| [DKR09a] | . Symbolic bisimulation for the applied pi calculus. Journal of Computer Security, 2009. To appear. ( PDF | BibTeX + Abstract ) |
| [KM09] | . Computationally Sound Analysis of Protocols using Bilinear Pairings. Journal of Computer Security, 2009. To appear. ( PDF | BibTeX + Abstract ) |
| [DKR09b] | . Verifying Privacy-type Properties of Electronic Voting Protocols. Journal of Computer Security 17(4), pages 435-487, 2009. ( PDF | PS | PS.GZ | BibTeX + Abstract ) |
| [BCK09] | . Computationally Sound Implementations of Equational Theories against Passive Adversaries. Information and Computation 207(4), pages 496-520, 2009. ( PDF | BibTeX + Abstract ) |
| [CKL06] | . Juggling with Pattern Matching. Theory of Computing Systems 39(3), pages 425-437, 2006. ( PDF | BibTeX + Abstract ) |
| [CKS06] | . Formal Analysis of Multi-Party Contract Signing. Journal of Automated Reasoning 36(1-2), pages 39-83, 2006. ( PDF | BibTeX + Abstract ) |
| [KR03] | . A Game-Based Verification of Non-Repudiation and Fair Exchange Protocols. Journal of Computer Security 11(3), pages 399-429, 2003. ( PS | PS.GZ | BibTeX + Abstract ) |
| [KM03] | . Fair Multi-Party Non-Repudiation Protocols. International Journal on Information Security 1(4), pages 223-235, 2003. ( PS | PS.GZ | BibTeX + Abstract ) |
| [KMZ02] | . An Intensive Survey of Fair Non-repudiation Protocols. Computer Communications 25(17), pages 1606-1621, 2002. ( PDF | BibTeX + Abstract ) |
Conferences | |
| [SRKK10] | . Towards automatic analysis of election verifiability properties. In A. Armando and G. Lowe (eds.), ARSPA-WITS'10, LNCS. Springer, 2010. To appear. ( PDF | BibTeX + Abstract ) |
| [DKP09] | . Simulation based security in the applied pi calculus. In R. Kannan and K. Narayan Kumar (eds.), FSTTCS'09, Leibniz International Proceedings in Informatics 4, pages 169-180. Leibniz-Zentrum für Informatik, 2009. ( PDF | PDF (long version) | BibTeX + Abstract ) |
| [KMT09a] | . Reducing Equational Theories for the Decision of Static Equivalence. In A. Datta (ed.), ASIAN'09, LNCS 5913, pages 94-108. Springer, 2009. ( PDF | PS | PS.GZ | PDF (long version) | BibTeX + Abstract ) |
| [CDK09a] | . Computing knowledge in security protocols under convergent equational theories. In R. Schmidt (ed.), CADE'09, LNAI, pages 355-370. Springer, 2009. ( PDF | PDF (long version) | PS (long version) | PS.GZ (long version) | BibTeX + Abstract ) |
| [CDK09b] | . Epistemic Logic for the Applied Pi Calculus. In D. Lee, A. Lopes and A. Poetzsch-Heffter (eds.), FMOODS/FORTE'09, LNCS 5522, pages 182-197. Springer, 2009. ( PDF | PS | PS.GZ | BibTeX + Abstract ) |
| [Kre08] | . Computational soundness of equational theories (Tutorial). In G. Barthe and C. Fournet (eds.), TGC'07, LNCS 4912, pages 363-382. Springer, 2008. ( PDF | BibTeX + Abstract ) |
| [ADK08] | . From One Session to Many: Dynamic Tags for Security Protocols. In I. Cervesato, H. Veith and A. Voronkov (eds.), LPAR'08, LNAI 5330, pages 128-142. Springer, 2008. ( PDF | PDF (long version) | BibTeX + Abstract ) |
| [KMT08] | . Proving Group Protocols Secure Against Eavesdroppers. In A. Armando, P. Baumgartner and G. Dowek (eds.), IJCAR'08, LNAI 5195, pages 116-131. Springer-Verlag, 2008. ( PDF | PDF (long version) | BibTeX + Abstract ) |
| [DKR08] | . Composition of Password-based Protocols. In CSF'08, pages 239-251. IEEE Computer Society Press, 2008. ( PDF | BibTeX + Abstract ) |
| [DKS08] | . Formal Analysis of PKCS#11. In CSF'08, pages 331-344. IEEE Computer Society Press, 2008. ( PDF | PDF (long version) | PS (long version) | PS.GZ (long version) | BibTeX + Abstract ) |
| [DKR07a] | . Symbolic Bisimulation for the Applied Pi-Calculus. In V. Arvind and S. Prasad (eds.), FSTTCS'07, LNCS 4855, pages 133-145. Springer, 2007. ( PDF | PDF (long version) | BibTeX + Abstract ) |
| [KM07a] | . Adaptive Soundness of Static Equivalence. In J. Biskup and J. Lopez (eds.), ESORICS'07, LNCS 4734, pages 610-625. Springer, 2007. ( PDF | PDF (long version) | BibTeX + Abstract ) |
| [CKKW06] | . Computationally Sound Symbolic Secrecy in the Presence of Hash Functions. In N. Garg and S. Arun-Kumar (eds.), FSTTCS'06, LNCS 4337, pages 176-187. Springer, 2006. ( PDF | PS | PS.GZ | PDF (long version) | PS (long version) | PS.GZ (long version) | BibTeX + Abstract ) |
| [DKR06a] | . Coercion-Resistance and Receipt-Freeness in Electronic Voting. In CSFW'06, pages 28-39. IEEE Computer Society Press, 2006. ( PDF | PS | PS.GZ | PDF (long version) | PS (long version) | PS.GZ (long version) | Slides | BibTeX + Abstract ) |
| [MKR05] | . Analysis of a Multi-Party Fair Exchange Protocol and Formal Proof of Correctness in the Strand Space Model. In A. S. Patrick and M. Yung (eds.), FC'05, LNCS 3570, pages 255-269. Springer, 2005. ( PDF | BibTeX + Abstract ) |
| [BCK05] | . Computationally Sound Implementations of Equational Theories against Passive Adversaries. In L. Caires, G. F. Italiano, L. Monteiro, C. Palamidessi and M. Yung (eds.), ICALP'05, LNCS 3580, pages 652-663. Springer, 2005. ( PDF | PDF (long version) | PS (long version) | PS.GZ (long version) | BibTeX + Abstract ) |
| [KR05a] | . Analysing the Vulnerability of Protocols to Produce Known-pair and Chosen-text Attacks. In R. Focardi and G. Zavattaro (eds.), SecCo'04, ENTCS 128(5), pages 84-107. Elsevier Science Publishers, 2005. ( PDF | BibTeX + Abstract ) |
| [KR05b] | . Analysis of an Electronic Voting Protocol in the Applied Pi-Calculus. In M. Sagiv (ed.), ESOP'05, LNCS 3444, pages 186-200. Springer, 2005. ( PDF | PS | PS.GZ | BibTeX + Abstract ) |
| [SKM04] | . An Efficient Strong Designated Verifier Signature Scheme. In J. In Lim and D. Hoon Lee (eds.), ICISC'03, LNCS 2971, pages 40-54. Springer, 2004. ( PS | PS.GZ | BibTeX + Abstract ) |
| [CKS04a] | . Formal Analysis of Multi-Party Contract Signing. In CSFW'04, pages 266-279. IEEE Computer Society Press, 2004. ( PS | PS.GZ | BibTeX + Abstract ) |
| [CKL04] | . Juggling with Pattern Matching. In P. Ferragina and R. Grossi (eds.), FUN'04, pages 147-158. Edizioni Plus, Università di Pisa, 2004. ( PS | PS.GZ | BibTeX + Abstract ) |
| [MGK03] | . On Fairness in Exchange Protocols. In P. J. Lee and C. H. Lim (eds.), ICISC'02, LNCS 2587, pages 451-464. Springer, 2003. ( PS | PS.GZ | BibTeX + Abstract ) |
| [KR02] | . Game Analysis of Abuse-Free Contract Signing. In CSFW'02, pages 206-220. IEEE Computer Society Press, 2002. ( PS | PS.GZ | BibTeX + Abstract ) |
| [MK01a] | . A multi-party optimistic non-repudiation protocol. In D. Won (ed.), ICISC 2000, LNCS 2015, pages 109-122. Springer, 2001. ( PS | PS.GZ | BibTeX + Abstract ) |
| [KM01] | . Selective Receipt in Certified E-Mail. In C. Pandu Rangan and C. Ding (eds.), INDOCRYPT'01, LNCS 2247, pages 136-148. Springer, 2001. ( PS | PS.GZ | BibTeX + Abstract ) |
| [MK01b] | . An Optimistic Non-Repudiation Protocol with Transparent Trusted Third Party. In G. I. Davida and Y. Frankel (eds.), ISC'01, LNCS 2200, pages 363-378. Springer, 2001. ( PS | PS.GZ | BibTeX + Abstract ) |
| [KR01] | . A Game-Based Verification of Non-Repudiation and Fair Exchange Protocols. In K. G. Larsen and M. Nielsen (eds.), CONCUR'01, LNCS 2154, pages 551-565. Springer, 2001. ( PS | PS.GZ | BibTeX + Abstract ) |
Theses | |
| [Kre03] | . Formal Analysis of Optimistic Fair Exchange Protocols. Thèse de doctorat, Université Libre de Bruxelles, Belgium, December 2003. ( PS | PS.GZ | BibTeX ) |
Other Publications | |
| [SRKK09] | . Election verifiability in electronic voting protocols (Preliminary version). In O. Pereira, J.-J. Quisquater and F.-X. Standaert (eds.), WISSEC'09. 2009. ( PDF | BibTeX + Abstract ) |
| [CDK09c] | . Computing knowledge in security protocols under convergent equational theories. In H. Comon-Lundh and C. Meadows (eds.), SecReT'09, pages 47-58. 2009. ( PDF | BibTeX + Abstract ) |
| [KMT09b] | . Reducing Equational Theories for the Decision of Static Equivalence (Preliminary Version). In H. Comon-Lundh and C. Meadows (eds.), SecReT'09. 2009. ( PDF | PS | PS.GZ | BibTeX + Abstract ) |
| [CKW09] | . A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems. Research Report RR-6912, INRIA, April 2009. ( PDF | BibTeX + Abstract ) |
| [DKR07b] | . Symbolic bisimulation for the applied pi calculus. In D. Goria and C. Palamidessi (eds.), SecCo'07. 2007. Preliminary version of [DKR07a]. ( PDF | PDF (long version) | BibTeX ) |
| [KM07b] | . Adaptive Soundness of Static Equivalence. In M. Backes and Y. Lakhnech (eds.), FCC'07. 2007. Preliminary version of [KM07a]. ( PDF | BibTeX + Abstract ) |
| [KBL+06] | . Retour d'expérience sur la validation du vote électronique. Technical Report 7, projet RNTL PROUVÉ, November 2006. 47 pages. ( PDF | BibTeX + Abstract ) |
| [DKR06b] | . Verifying Properties of Electronic Voting Protocols. In WOTE'06, pages 45-52. 2006. ( PDF | PS | PS.GZ | BibTeX + Abstract ) |
| [Kre06] | . Formal Verification of Cryptographic Protocols, Invited tutorial, 7th School on Modelling and Verifying Parallel Processes (MOVEP'06), Bordeaux, France, 2006. 5 pages. ( PDF | Slides | BibTeX ) |
| [KLT05] | . The Prouvé Manual: Specifications, Semantics, and Logics. Technical Report 7, projet RNTL PROUVÉ, December 2005. 49 pages. ( PDF | PS | PS.GZ | BibTeX + Abstract ) |
| [DKK05] | . Spécification du protocole de vote électronique. Technical Report 6, projet RNTL PROUVÉ, November 2005. 19 pages. ( PDF | PS | PS.GZ | BibTeX + Abstract ) |
| [DKR05] | . Receipt-Freeness: Formal Definition and Fault Attacks (Extended Abstract). In FEE 2005. 2005. Preliminary version of [DKR06a]. ( PDF | BibTeX ) |
| [CKS04b] | . Formal Analysis of Multi-Party Contract Signing. In P. Ryan (ed.), WITS'04, pages 153-163. 2004. ( PS | PS.GZ | BibTeX + Abstract ) |
| [SKM03] | . Efficient Designated Verifier Signatures. In Proceedings of the 24th Symposium on Information Theory in the Benelux, Veldhoven, The Netherlands, May 2003, pages 187-194. 2003. ( PS | PS.GZ | BibTeX + Abstract ) |
| [KM00a] | . A multi-party non-repudiation protocol. In S. Qing and J. H. P. Eloff (eds.), SEC 2000, IFIP Conference Proceedings 175, pages 271-280. Kluwer Academic Publishers, 2000. ( PS | PS.GZ | BibTeX + Abstract ) |
| [KR00a] | . Formal Verification of Non-repudiation Protocols - A Game Approach. In E. M. Clarke, M. Heintze and H. Veith (eds.), FMCS 2000. 2000. ( PS | PS.GZ | BibTeX + Abstract ) |
| [KR00b] | . A Game Approach to the Verification of Exchange Protocols - Application to Non-repudiation Protocols. In P. Degano (ed.), WITS 2000. 2000. ( PS | PS.GZ | BibTeX ) |
| [KM00b] | . Optimistic Non-repudiable Information Exchange. In Proceedings of the 21st Symposium on Information Theory in the Benelux, Wassenaar, The Netherlands, May 2000, pages 139-146. 2000. ( PS | PS.GZ | BibTeX + Abstract ) |