Search results for: Yassine Lakhnech
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Security and Cryptography > 299-314
Lecture Notes in Computer Science > Advances in Cryptology - CRYPTO 2007 > Protocol Analysis > 482-499
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > Logic and Automata > 291-303
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 46-63
Lecture Notes in Computer Science > FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 364-375
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 306-326
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Temporal Logics and Systems > 317-330
Lecture Notes in Computer Science > Topics in Cryptology – CT-RSA 2011 > Proofs of Security > 180-196
Lecture Notes in Computer Science > Hybrid Systems III > 531-542
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 42-57