Institut für Softwaretechnik
FB 4: Informatik / Universität Koblenz
- 0261/287-2722
- 0261/287-2721
Dupressoir, François; Gordon, Andrew D.; Jürjens, Jan
Verifying authentication properties of C security protocol code using general verifiersFourth International Workshop on Analysis of Security APIs,. 2010
Jürjens, Jan
A domain-specific language for cryptographic protocols based on streamsThe Journal of Logic and Algebraic Programming. Bd. 78. H. 2. Amsterdam: Elsevier 2009 S. 54 - 73
Jürjens, Jan
A domain-specific language for cryptographic protocols based on streams.J. Log. Algebr. Program. Bd. 78. H. 2. 2009 S. 54 - 73
Sadi, Muhammad Sheikh; Jürjens, Jan
A Novel Approach to Minimizing the Risks of Soft Errors in Mobile and Ubiquitous SystemsLalit Goel;King-Jet Tseng;Sabu Emmanuel;Geok-See Ng (Hrsg). Proceeding of the IEEE Region 10 Conference TENCON 2009; 23 – 26 November 2009; Singapore. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2009 S. 1 - 6
Jürjens, Jan
Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie ProjectElectronic Notes in Theoretical Computer Science. Bd. 250. H. 1. Amsterdam: Elsevier 2009 S. 123 - 136
Jürjens, Jan
Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project.Electr. Notes Theor. Comput. Sci. Bd. 250. H. 1. 2009 S. 123 - 136
Jürjens, Jan; Weber, Tjark
Finite Models in FOL-Based Crypto-Protocol VerificationPierpaolo Degano;Luca Viganò (Hrsg). Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers. Berlin: Springer 2009 S. 155 - 172 (Lecture Notes in Computer Science)
Jürjens, Jan; Weber, Tjark
Finite Models in FOL-Based Crypto-Protocol Verification.ARSPA-WITS. 2009 S. 155 - 172
Jürjens, Jan
Formal Foundations for Verifying Security-Critical Software: A Tutorial12th European Joint Conferences on Theory and Practice of Software (ETAPS 2009). 2009
Jürjens, Jan
Model-based Security Engineering with UMLsecSerenity Day: Establishing IT Security as a full engineering discipline. Brussels. 2009