Author of the publication

Symbolic Analysis of Crypto-Protocols Based on Modular Exponentiation.

, and . MFCS, volume 2747 of Lecture Notes in Computer Science, page 269-278. Springer, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Experimenting with STA, a tool for automatic analysis of security protocols., and . SAC, page 281-285. ACM, (2002)On Formally Bounding Information Leakage by Statistical Estimation., and . ISC, volume 8783 of Lecture Notes in Computer Science, page 216-236. Springer, (2014)Weighted Bisimulation in Linear Algebraic Form.. CONCUR, volume 5710 of Lecture Notes in Computer Science, page 163-177. Springer, (2009)Quantifying Information Leakage in Process Calculi.. ICALP (2), volume 4052 of Lecture Notes in Computer Science, page 119-131. Springer, (2006)A Typed Calculus for Querying Distributed XML Documents., , and . TGC, volume 4661 of Lecture Notes in Computer Science, page 167-182. Springer, (2006)Symbolic Analysis of Crypto-Protocols Based on Modular Exponentiation., and . MFCS, volume 2747 of Lecture Notes in Computer Science, page 269-278. Springer, (2003)Denotational Testing Semantics in Coinductive Form., and . MFCS, volume 2747 of Lecture Notes in Computer Science, page 279-289. Springer, (2003)Quantitative information flow under generic leakage functions and adaptive adversaries., and . Log. Methods Comput. Sci., (2015)XPi: A typed process calculus for XML messaging., and . Sci. Comput. Program., 71 (2): 110-143 (2008)A coalgebraic perspective on linear weighted automata., , , , and . Inf. Comput., (2012)