Edit Profile Arapinis, Myrto Compute Distance To: Compute Author ID: arapinis.myrto Published as: Arapinis, Myrto External Links: MGP · Wikidata Documents Indexed: 8 Publications since 2007 all top 5 Co-Authors 0 single-authored 3 Kremer, Steve 3 Ryan, Mark Dermot 2 Delaune, Stéphanie 2 Duflot, Marie 1 Bursuc, Sergiu 1 Cortier, Véronique 1 Figueira, Diego 1 Gaboardi, Marco 1 Liu, Jia 1 Ritter, Eike Serials 1 Information and Computation 1 Logical Methods in Computer Science 1 Journal of Logical and Algebraic Methods in Programming Fields 8 Computer science (68-XX) 5 Information and communication theory, circuits (94-XX) Publications by Year Citations contained in zbMATH 5 Publications have been cited 16 times in 12 Documents Cited by ▼ Year ▼ Bounding messages for free in security protocols. Zbl 1135.68389Arapinis, Myrto; Duflot, Marie 6 2007 From one session to many: Dynamic tags for security protocols. Zbl 1182.68082Arapinis, Myrto; Delaune, Stéphanie; Kremer, Steve 5 2008 Practical everlasting privacy. Zbl 1390.68273Arapinis, Myrto; Cortier, Véronique; Kremer, Steve; Ryan, Mark 2 2013 Reduction of equational theories for verification of trace equivalence: re-encryption, associativity and commutativity. Zbl 1353.68069Arapinis, Myrto; Bursuc, Sergiu; Ryan, Mark D. 2 2012 Sensitivity of counting queries. Zbl 1388.68029Arapinis, Myrto; Figueira, Diego; Gaboardi, Marco 1 2016 Sensitivity of counting queries. Zbl 1388.68029Arapinis, Myrto; Figueira, Diego; Gaboardi, Marco 1 2016 Practical everlasting privacy. Zbl 1390.68273Arapinis, Myrto; Cortier, Véronique; Kremer, Steve; Ryan, Mark 2 2013 Reduction of equational theories for verification of trace equivalence: re-encryption, associativity and commutativity. Zbl 1353.68069Arapinis, Myrto; Bursuc, Sergiu; Ryan, Mark D. 2 2012 From one session to many: Dynamic tags for security protocols. Zbl 1182.68082Arapinis, Myrto; Delaune, Stéphanie; Kremer, Steve 5 2008 Bounding messages for free in security protocols. Zbl 1135.68389Arapinis, Myrto; Duflot, Marie 6 2007 all top 5 Cited by 27 Authors 3 Delaune, Stéphanie 2 Ban Kirigin, Tajana 2 Kanovich, Max Iosifovich 2 Kremer, Steve 2 Nigam, Vivek 2 Scedrov, Andre 1 Arapinis, Myrto 1 Avanesov, Tigran 1 Blanchet, Bruno 1 Bursuc, Sergiu 1 Carmeli, Nofar 1 Chadha, Rohit 1 Cheval, Vincent 1 Chevalier, Céline 1 Chevalier, Yannick 1 Ciobâcă, Ştefan 1 Cortier, Véronique 1 Duflot, Marie 1 Hirschi, Lucca 1 Johansen, Christian 1 Kröll, Markus 1 Mödersheim, Sebastian A. 1 Rusinowitch, Michaël 1 Ryan, Mark Dermot 1 Turuani, Mathieu 1 Viganò, Luca 1 Xu, Shiwei all top 5 Cited in 7 Serials 2 Information and Computation 2 Formal Methods in System Design 1 Journal of Symbolic Computation 1 Theory of Computing Systems 1 Computer Languages, Systems & Structures 1 ACM Transactions on Computational Logic 1 Journal of Logical and Algebraic Methods in Programming Cited in 2 Fields 12 Computer science (68-XX) 9 Information and communication theory, circuits (94-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.