I used to be a graduate student in computer science at the University of
Illinois at Urbana-Champaign. I started in Summer 2005 and I studied
formal methods with José Meseguer. I have graduated in the summer of 2012 and I am moving on to do a post-doc
with David Basin at ETH Zurich.
If you need to contact me, the easiest way to do that is by email to "rsasse" at the domain "illinois.edu" for now. My office was:
-
Security Models in Rewriting Logic for Cryptographic Protocols and Browsers
Ralf Sasse
PhD thesis
-
Folding Variant Narrowing and Optimal Variant Termination (journal version)
Santiago Escobar, Ralf Sasse, José Meseguer
In Journal of Logic and Algebraic Programming.
-
Protocol analysis in Maude-NPA using unification modulo homomorphic encryption
Santiago Escobar, Deepak Kapur, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse
In Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming.
-
Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA
Ralf Sasse, Santiago Escobar, Catherine Meadows, José Meseguer
In Security and Trust Management - 6th International Workshop, STM 2010.
-
Folding Variant Narrowing and Optimal Variant Termination
Santiago Escobar, Ralf Sasse, José Meseguer
In 8th International Workshop on Rewriting Logic and its Applications, 2010
-
Model-Checking DoS Amplification for VoIP Session Initiation
Ravinder Shankesi, Musab AlTurki, Ralf Sasse, Carl A. Gunter, José Meseguer
In ESORICS 2009: 390-405
-
Effectively Checking the Finite Variant Property
Santiago Escobar, José Meseguer, Ralf Sasse
In RTA 2008: Rewriting Techniques and Applications
-
Variant Narrowing and Equational Unification
Santiago Escobar, José Meseguer, Ralf Sasse
In 7th International Workshop on Rewriting Logic and its Applications, 2008
-
A Systematic Approach to Uncover Security Flaws in GUI Logic
Shuo Chen, José Meseguer, Ralf Sasse, Helen J. Wang, Yi-Min Wang
In IEEE Symposium on Security and Privacy, Oakland, California, May 2007
-
Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics
Ralf Sasse, José Meseguer
6th International Workshop on Rewriting Logic and its Applications , WRLA, Vienna, Austria, April 2006, ENTCS, Elsevier
-
Automatic Validation of Transformation Rules for Java Verification against a Rewriting Semantics
Wolfgang Ahrendt, Andreas Roth, Ralf Sasse
12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR, Montego Bay, Jamaica, December 2005, LNCS 3835, Springer