1
0
0
(1 - 16 von 16
)
Tomasz Truderungwww.iacr.org › cryptodb › data › author
www.iacr.org
Tomasz Truderung · News · Awards · Jobs · Update your information · How to join · About the IACR.
CONCUR Concurrency Theory: 16th International ...google.de
books.google.de
... Tomasz Truderung LORIA-INRIA-Lorraine, France Institute of Computer Science, Wrocław University, Poland Abstract. Many decidability results are known for ...
Real-World Electronic Voting: Design, Analysis and Deploymentgoogle.de
books.google.de
... Tomasz Truderung, and Andreas Vogt. Accountability: definition and relationship to verifiability. In Proceedings of the 17th ACM Conference on Computer and ...
Software Systems Safety - Seite Google Books-Ergebnisseite
books.google.com
... Tomasz Truderung, and Jürgen Graf. A Framework for the Cryptographic Verification of Java-like Programs. In IEEE Computer Security Foundations Symposium ...
INFORMATION TECHNOLOGY - De Gruyterwww.degruyter.com › document › doi › itit frontmatter6 › pdf
www.degruyter.com
Ralf Küsters, Tomasz Truderung. Security in e-voting Self-Portrayals of GI Junior Fellows. Björn Scheuermann. Designing networks for challenging ...
Trends in Data Protection and Encryption Technologies
books.google.com
... Tomasz Truderung , and Andreas Vogt . A Game - Based Definition of Coercion- Resistance and Its Applications . IACR Cryptology ePrint Archive , :
Mathematical Foundations of Computer Science 2010: 35th International...
books.google.de
This volume constitutes the refereed proceedings of the 35th International Symposium on Mathematical Foundations of Computer Science, MFCS 2010, held in Brno,...
Real-World Electronic Voting: Design, Analysis and Deployment -...
books.google.de
Real-World Electronic Voting: Design, Analysis and Deployment captures all major developments in electronic voting since in a real-world setting. It...
CONCUR Concurrency Theory: 16th International Conference, ...books.google.de › books
books.google.de
Selecting Theories and Recursive Protocols⋆ Tomasz Truderung LORIA-INRIA-Lorraine, France Institute of Computer Science, Wrocław University, ...
Software Systems Safety - Google Books
books.google.de
Ralf Küsters, Tomasz Truderung, and Jürgen Graf. A Framework for the Cryptographic Verification of Java-like Programs. In IEEE Computer Security Foundations ...
Automated Deduction – CADE-20: 20th International Conference on ...
books.google.com
... Tomasz Truderung⋆ Loria-Inria-Lorraine, France, Institute of Computer Science, Wroclaw University, Poland Abstract. We prove that, if the initial knowledge ...
Wyzwania programistyczne - Steven S. Skiena - Google Books
books.google.de
Author, Steven S. Skiena. Translated by, Emanuel Kieroński, Paweł Rychlikowski, Tomasz Truderung. Publisher, Wydawnictwa Szkolne i Pedagogiczne,
Wyzwania programistyczne - Steven S. Skiena - Google Booksbooks.google.com › books › about › Wyzwania_pr...
books.google.com
Translated by, Emanuel Kieroński, Paweł Rychlikowski, Tomasz Truderung. Publisher, Wydawnictwa Szkolne i Pedagogiczne, ISBN
Computer Science Logic: 18th International Workshop, CSL 2004, 13th...
books.google.de
Thisvolumecontainspapersselectedforpresentationatthe2004AnnualConf- enceoftheEuropeanAssociationforComputerScienceLogic, heldonSeptember , in...
Automated Deduction – CADE-20: 20th International Conference on ...books.google.de › books
books.google.de
Regular Protocols and Attacks with Regular Knowledge Tomasz Truderung⋆ Loria-Inria-Lorraine, France, Institute of Computer Science, Wroclaw University, ...
sortiert nach Relevanz / Datum