Name Card

Full name Familienname, Vorname
Jia, Limin
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
118_Automating Compositional Analysis of Authentication Protocols.pdf.jpgZhang, Zichao ; de Amorim, Arthur Azevedo ; Jia, Limin ; Pasareanu, Corina S. Automating Compositional Analysis of Authentication ProtocolsKonferenzbeitrag Inproceedings 2020

Contributing Publications Mitbeteiligte Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewEditor(s)TitleTypeIssue Date
1Maffei, Matteo ; Ryan, Mark ; Ah-Fat, Patrick ; Alabbad, Mohammed ; Alvim, Mario ; Aslanyan, Zaruhi ; Atzei, Nicola ; Babel, Kushal ; Bartoletti, Massimo ; Bauer, Lujo ; Blot, Arthur ; Bursuc, Sergiu ; Cañones, Pablo ; Casini, Giovanni ; Cheval, Vincent ; Cimoli, Tiziana ; Cramer, Marcos ; Dreier, Jannik ; Duménil, Charles ; Hedin, Daniel ; Hicks, Michael ; Huth, Michael ; Jia, Limin ; Johansen, Christian ; Jones, Owain ; Khedri, Ridha ; Köpf, Boris ; Kremer, Steve ; Laud, Peeter ; Mardziel, Piotr ; Nielson, Flemming ; Pettai, Martin ; Piessens, Frank ; Rafnsson, Willard ; Reineke, Jan ; Sabelfeld, Andrei ; Sasse, Ralf ; Terauchi, Tachio ; Xu, Shiwei ; Yamamoto, Masaki ; Sjösten, Alexander Principles of Security and TrustBuch Book 2017