Tomasz Truderung
发表
Ralf Küsters,
H. Mantel,
Bernhard Beckert,
2015
.
Vitaly Shmatikov,
Sarfraz Khurshid,
Saikat Guha,
2014,
IEEE Symposium on Security and Privacy.
Fabrice Bouquet,
Bruno Legeard,
Calogero G. Zarba,
2005
.
Ralf Küsters,
Tomasz Truderung,
Ralf Küsters,
2009,
2009 22nd IEEE Computer Security Foundations Symposium.
Bernhard Beckert,
Ralf Küsters,
Daniel Grahl,
2015,
2015 IEEE 28th Computer Security Foundations Symposium.
Bernhard Beckert,
Daniel Bruns,
Christoph Scheben,
2012
.
Ralf Küsters,
Tomasz Truderung,
Jürgen Graf,
2012,
2012 IEEE 25th Computer Security Foundations Symposium.
Ralf Küsters,
Tomasz Truderung,
Andreas Vogt,
2010,
CCS '10.
Ralf Küsters,
Tomasz Truderung,
Andreas Vogt,
2010,
2010 23rd IEEE Computer Security Foundations Symposium.
Véronique Cortier,
Ralf Küsters,
Tomasz Truderung,
2016,
2016 IEEE Symposium on Security and Privacy (SP).
Ralf Küsters,
Tomasz Truderung,
2008,
Journal of Automated Reasoning.
Ralf Küsters,
Tomasz Truderung,
Detlef Kähler,
2007,
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Henning Schnoor,
Ralf Küsters,
Tomasz Truderung,
2010,
SecureComm.
Ralf Küsters,
Tomasz Truderung,
Ralf Küsters,
2009,
2009 30th IEEE Symposium on Security and Privacy.
Véronique Cortier,
Ralf Küsters,
Tomasz Truderung,
2016,
IACR Cryptol. ePrint Arch..
Bernhard Beckert,
Daniel Bruns,
Christoph Scheben,
2013
.
Ralf Küsters,
Tomasz Truderung,
Jürgen Graf,
2014,
IACR Cryptol. ePrint Arch..
Ralf Küsters,
Tomasz Truderung,
Andreas Vogt,
2010,
ICICS.
Ralf Küsters,
Tomasz Truderung,
Andreas Vogt,
2009,
VoteID.
Tomasz Truderung,
Pawel Rychlikowski,
Tomasz Truderung,
2004,
CSL.
Ralf Küsters,
Tomasz Truderung,
Ralf Küsters,
2007,
STACS.
Ralf Küsters,
Tomasz Truderung,
Ralf Küsters,
2016,
2016 IEEE European Symposium on Security and Privacy (EuroS&P).
Ralf Küsters,
Tomasz Truderung,
Andreas Vogt,
2014,
2014 IEEE Symposium on Security and Privacy.
Tomasz Truderung,
A. Brelle,
2017,
1707.03632.