Search results for: Pascal Lafourcade
Concurrency and Computation: Practice and Experience > 33 > 1 > n/a - n/a
Information Processing Letters > 2018 > 139 > C > 24-29
Computers & Security > 2017 > 71 > C > 51-70
Formal Methods in System Design > 2017 > 51 > 1 > 117-153
Wireless Networks > 2017 > 23 > 7 > 2111-2133
Lecture Notes in Computer Science > Formal Aspects in Security and Trust > Session 5. Protocols 1 > 173-185
Lecture Notes in Computer Science > Progress in Cryptology – AFRICACRYPT 2011 > Security Proofs > 348-362
Lecture Notes in Computer Science > Formal to Practical Security > Formal to Practical Security > 70-94
Lecture Notes in Computer Science > Automata, Languages and Programming > Secrecy and Protocol Analysis > 132-143
Lecture Notes in Computer Science > Advances in Computer Science - ASIAN 2009. Information Security and Privacy > 39-53
Theoretical Computer Science > 2016 > 612 > C > 102-125
Journal of Automated Reasoning > 2016 > 56 > 1 > 49-94
Discrete Applied Mathematics > 2014 > 170 > Complete > 104-109