Institution · IMDEA Software Institute
Most cited papers from IMDEA Software Institute
What are the most cited papers from IMDEA Software Institute?
The most cited paper from IMDEA Software Institute is "The TAMARIN Prover for the Symbolic Analysis of Security Protocols" (Simon Meier-Vieracker, Benedikt Schmidt, Cas J. F. Cremers et al., 2013), with 653 citations. Next come "Automated Test Input Generation for Android: Are We There Yet? (E)" (468) and "AVclass: A Tool for Massive Malware Labeling" (392).
Showing 50 of 60 papers. Every paper with more than 101 citations is listed.
| # | Paper | ||
|---|---|---|---|
| 1 | The TAMARIN Prover for the Symbolic Analysis of Security Protocols Simon Meier-Vieracker, Benedikt Schmidt, Cas J. F. Cremers et al. · Lecture notes in computer science | 2013 | 653 |
| 2 | Automated Test Input Generation for Android: Are We There Yet? (E) Shauvik Roy Choudhary, Alessandra Gorla, Alessandro Orso | Nov 2015 | 468 |
| 3 | AVclass: A Tool for Massive Malware Labeling Marcos Sebastián, Richard R. Rivera, Platon Kotzias et al. · Lecture notes in computer science | 2016 | 392 |
| 4 | A survey on service quality description Kyriakos Kritikos, Barbara Pernici, Pierluigi Plebani et al. · ACM Computing Surveys | 11 Jul 2013 | 323 |
| 5 | Dependent types and multi-monadic effects in F* Nikhil Swamy, Cătălin Hriţcu, Chantal Keller et al. | 7 Jan 2016 | 305 |
| 6 | Temporal Logics for Hyperproperties Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini et al. · Lecture notes in computer science | 2014 | 277 |
| 7 | Computer-Aided Security Proofs for the Working Cryptographer Gilles Barthe, Benjamin Grégoire, Sylvain Heraud et al. · Lecture notes in computer science | 2011 | 252 |
| 8 | Strong Non-Interference and Type-Directed Higher-Order Masking Gilles Barthe, Sonia Belaïd, François Dupressoir et al. | 24 Oct 2016 | 232 |
| 9 | Efficiently Verifiable Computation on Encrypted Data Dario Fiore, Rosario Gennaro, Valerio Pastro | 3 Nov 2014 | 230 |
| 10 | A Messy State of the Union: Taming the Composite State Machines of TLS Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud et al. | May 2015 | 218 |
| 11 | Relational Verification Using Product Programs Gilles Barthe, Juan Manuel Crespo, César Kunz · Lecture notes in computer science | 2011 | 205 |
| 12 | Manufacturing compromise Chris Grier, Lucas Ballard, Juan Caballero et al. | 15 Oct 2012 | 194 |
| 13 | Mining Apps for Abnormal Usage of Sensitive Data Vitalii Avdiienko, Konstantin Kuznetsov, Alessandra Gorla et al. | May 2015 | 192 |
| 14 | SoK: Communication Across Distributed Ledgers Alexei Zamyatin, Mustafa Al-Bassam, Dionysis Zindros et al. · Lecture notes in computer science | 2021 | 185 |
| 15 | Implementing TLS with Verified Cryptographic Security Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss et al. | May 2013 | 180 |
| 16 | Triple Handshakes and Cookie Cutters: Breaking and Fixing Authentication over TLS Karthikeyan Bhargavan, Antoine Delignat Lavaud, Cédric Fournet et al. | May 2014 | 168 |
| 17 | Secure information flow by self-composition Gilles Barthe, Pedro R. D’Argenio, Tamara Rezk · Mathematical Structures in Computer Science | 27 Oct 2011 | 167 |
| 18 | Algorithms for Model Checking HyperLTL and HyperCTL $$^*$$ Bernd Finkbeiner, Markus N. Rabe, César Sánchez · Lecture notes in computer science | 2015 | 163 |
| 19 | Undangle: early detection of dangling pointers in use-after-free and double-free vulnerabilities Juan Caballero, Gustavo Grieco, Mark Marron et al. | 15 Jul 2012 | 161 |
| 20 | Replicated data types Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang et al. | 8 Jan 2014 | 160 |
| 21 | CacheAudit Goran Doychev, Boris Köpf, Laurent Mauborgne et al. · ACM Transactions on Information and System Security | 9 Jun 2015 | 157 |
| 22 | LegoSNARK Matteo Campanelli, Dario Fiore, Anaïs Querol | 6 Nov 2019 | 156 |
| 23 | An overview of Ciao and its design philosophy Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro et al. · Theory and Practice of Logic Programming | 30 Dec 2011 | 147 |
| 24 | Multi-Input Functional Encryption for Inner Products: Function-Hiding Realizations and Constructions Without Pairings Michel Abdalla⋆, Dario Catalano, Dario Fiore et al. · Lecture notes in computer science | 2018 | 146 |
| 25 | Context Aware Middleware Architectures: Survey and Challenges Xin Li, Martina Eckert, José-Fernán Martínez-Ortega et al. · Sensors | 20 Aug 2015 | 146 |
| 26 | Can I Opt Out Yet? Iskander Sánchez-Rola, Matteo Dell’Amico, Platon Kotzias et al. | 2 Jul 2019 | 145 |
| 27 | The Attack of the Clones: A Study of the Impact of Shared Code on Vulnerability Patching Antonio Nappa, Richard B. Johnson, Leyla Bilge et al. | May 2015 | 144 |
| 28 | Verified Proofs of Higher-Order Masking Gilles Barthe, Sonia Belaïd, François Dupressoir et al. · Lecture notes in computer science | 2015 | 144 |
| 29 | Verifying constant-time implementations José Bacelar Almeida, Manuel Barbosa, Gilles Barthe et al. · Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT) | 10 Aug 2016 | 143 |
| 30 | Merlin Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani et al. | 15 Jun 2009 | 143 |
| 31 | A Survey of Binary Code Similarity Irfan Ul Haq, Juan Caballero · ACM Computing Surveys | 17 Apr 2021 | 141 |
| 32 | SMACK: Decoupling Source Language Details from Verifier Implementations Zvonimir Rakamarić, Michael Emmi · Lecture notes in computer science | 2014 | 139 |
| 33 | Supporting cooperation in the SPADE-1 environment Sergio Bandinelli, Elisabetta Di Nitto, Alfonso Fuggetta · IEEE Transactions on Software Engineering | 1996 | 138 |
| 34 | Zero-Knowledge Contingent Payments Revisited Matteo Campanelli, Rosario Gennaro, Steven Goldfeder et al. | 27 Oct 2017 | 132 |
| 35 | Engineering Secure Software and Systems Juan Caballero, Eric Bodden, Elias Athanasopoulos · Lecture notes in computer science | 2016 | 132 |
| 36 | Comparing and Combining Predictive Business Process Monitoring Techniques Andreas Metzger, Philipp Leitner, Dragan Ivanović et al. · IEEE Transactions on Systems Man and Cybernetics Systems | 6 Oct 2014 | 129 |
| 37 | Universal Atomic Swaps: Secure Exchange of Coins Across All Blockchains Sri Aravinda Krishnan Thyagarajan, Giulio Malavolta, Pedro Moreno-Sánchez · 2022 IEEE Symposium on Security and Privacy (SP) | May 2022 | 128 |
| 38 | Practical Functional Encryption for Quadratic Functions with Applications to Predicate Encryption Carmen Elisabetta Zaira Baltico, Dario Catalano, Dario Fiore et al. · Lecture notes in computer science | 2017 | 125 |
| 39 | Automated analysis of security-design models David Basin, Manuel Clavel, Jürgen Doser et al. · Information and Software Technology | 16 May 2008 | 125 |
| 40 | Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model Gilles Barthe, François Dupressoir, Sebastian Faust et al. · Lecture notes in computer science | 2017 | 124 |
| 41 | Micro flip teaching ‒ An innovative model to promote the active involvement of students Ángel Fidalgo-Blanco, Margarita Martínez, Oriol Borrás-Gené et al. · Computers in Human Behavior | 4 Aug 2016 | 124 |
| 42 | System-level Non-interference for Constant-time Cryptography Gilles Barthe, Gustavo Betarte, Juan Diego Campo et al. | 3 Nov 2014 | 124 |
| 43 | SoK: Computer-Aided Cryptography Manuel Barbosa, Gilles Barthe, Karthik Bhargavan et al. | May 2021 | 118 |
| 44 | The MALICIA dataset: identification and analysis of drive-by download operations Antonio Nappa, M. Zubair Rafique, Juan Caballero · International Journal of Information Security | 20 Jun 2014 | 118 |
| 45 | AVclass2: Massive Malware Tag Extraction from AV Labels Silvia Sebastián, Juan Caballero · Annual Computer Security Applications Conference | 7 Dec 2020 | 117 |
| 46 | 'Cause I'm strong enough: Reasoning about consistency choices in distributed systems Alexey Gotsman, Hongseok Yang, Carla Ferreira et al. | 7 Jan 2016 | 117 |
| 47 | EasyCrypt: A Tutorial Gilles Barthe, François Dupressoir, Benjamin Grégoire et al. · Lecture notes in computer science | 2014 | 117 |
| 48 | Automatic generation of oracles for exceptional behaviors Alberto Goffi, Alessandra Gorla, Michael D. Ernst et al. | 7 Jul 2016 | 111 |
| 49 | Automatic Quantification of Cache Side-Channels Boris Köpf, Laurent Mauborgne, Martín Ochoa · Lecture notes in computer science | 2012 | 111 |
| 50 | Homomorphic Signatures with Efficient Verification for Polynomial Functions Dario Catalano, Dario Fiore, Bogdan Warinschi · Lecture notes in computer science | 2014 | 110 |
Citations are OpenAlex's own counts, from its 2026-09-23 snapshot, so the ranking can differ from Google Scholar or Web of Science. A paper is listed for an institution when any of its authors gave it as an affiliation; retracted papers and papers whose citation count cannot be traced to citing works are left out, and a preprint and the article it became are shown once. Release dates are OpenAlex's: where a source gave only a month or a year, that is what is shown. How the lists are chosen.