Artículos en Revistas (8)

1. Zero-knowledge proofs for set membership: efficient, succinct, modular
   Daniel Benarroch, Matteo Campanelli, Dario Fiore, Kobi Gurkan, Dimitris Kolonelos.
   Data Compression Conference. julio 2023.
2. The Rise of GoodFATR: A Novel Accuracy Comparison Methodology for Indicator Extraction Tools
   Juan Caballero, Gibran Gomez, Srdjan Matic, Gustavo Sánchez, Silvia Sebastián, Arturo Villacañas.
   Future Generation Computer Systems: the international journal of grid computing: theory, methods and applications 144, 74-89. Elsevier, julio 2023.
3. Flux: Liquid Types for Rust
   Nico Lehmann, Adam T. Geller, Niki Vazou, Ranjit Jhala.
   ACM SIGPLAN Conference on Programming Language Design and Implementation 7 (PLDI). Association for Computing Machinery, junio 2023.
4. Unsupervised Detection and Clustering of Malicious TLS Flows
   Gibran Gomez, Platon Kotzias, Matteo Dell'Amico, Leyla Bilge, Juan Caballero.
   Security and Communication Networks 2023. enero 2023.
5. Privacy and Integrity Threats in Contact Tracing Systems and Their Mitigations
   Gennaro Avitabile, Vincenzo Botta, Vincenzo Iovino, Ivan Visconti.
   IEEE Internet Computing 27 (2), 13–19. 2023.
6. A decade of code comment quality assessment: A systematic literature review
   Pooja Rani, Arianna Blasi, Nataliia Stulova, Sebastiano Panichella, Alessandra Gorla, Oscar Nierstrasz.
   Journal of Systems and Software 195, 111515. 2023.
7. Runtime verification of real-time event streams using the tool HStriver
   Felipe Gorostiaga, César Sánchez.
   Formal Methods for Systems Design. 2023.
8. On Composing Finite Forests with Modal Logics
   Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, Alessio Mansutti.
   ACM Transactions on Computational Logic. 2023.

Artículos en Congresos con Revisión Estricta (55)

1. LibKit: Detecting Third-Party Libraries in iOS Apps
   Daniel Dominguez Alvarez, Alejandro de la Cruz, Alessandra Gorla, Juan Caballero.
   European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE). diciembre 2023.
2. On the Dual Nature of Necessity in Use of Rust Unsafe Code
   Yuchen Zhang, Ashish Kundu, Georgios Portokalidis, Jun Xu.
   ACM SIGSOFT Software Engineering Notes. diciembre 2023.
3. Domain and Website Attribution beyond WHOIS
   Silvia Sebastián, Raluca-Georgia Diugan, Juan Caballero, Iskander Sanchez-Rola, Leyla Bilge.
   Annual Computer Security Applications Conference (ACSAC). diciembre 2023.
4. Cybercrime Bitcoin Revenue Estimations: Quantifying the Impact of Methodology and Coverage
   Gibran Gomez, Kevin van Liebergen, Juan Caballero.
   ACM Conference on Computer and Communications Security (CCS). noviembre 2023.
5. Decoding the Secrets of Machine Learning in Windows Malware Classification: A Deep Dive into Datasets, Features, and Model Performance
   Savino Dambra, Yufei Han, Simone Aonzo, Platon Kotzias, Antonino Vitale, Juan Caballero, Davide Balzarotti, Leyla Bilge.
   ACM Conference on Computer and Communications Security (CCS). noviembre 2023.
6. SysPart: Automated Temporal System Call Filtering for Binaries
   Vidya Lakshmi Rajagopalan, Konstantinos Kleftogiorgos, Enes Göktaş, Jun Xu, Georgios Portokalidis.
   ACM Conference on Computer and Communications Security (CCS). noviembre 2023.
7. In the Room Where It Happens: Characterizing Local Communication and Threats in Smart Homes
   Aniketh Girish, Tianrui Hu, Vijay Prakash, Daniel J. Dubois, Srdjan Matic, Danny Yuxing Huang, Serge Egelman, Joel Reardon, Juan Tapiador, David R. Choffnes, Narseo Vallina-Rodriguez.
   Internet Measurement Conference (IMC). octubre 2023.
8. A Rule-Based Approach for Designing and Composing Abstract Domains
   Daniel Jurjo, José F. Morales, Pedro Lopez-Garcia, Manuel V. Hermenegildo.
   International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR). octubre 2023.
9. Cryptographic Administration for Secure Group Messaging
   David Balbás, Daniel Collins, Serge Vaudenay.
   Usenix Annual Technical Conference (USENIX). agosto 2023.
10. One Size Does not Fit All: Quantifying the Risk of Malicious App Encounters for Different Android User Profiles
    Savino Dambra, Leyla Bilge, Platon Kotzias, Yun Shen, Juan Caballero.
    Usenix Security Symposium (USENIX-Security). agosto 2023.
11. Eliminating Vulnerabilities by Disabling Unwanted Functionality in Binary Programs
    Mohamad Mansouri, Jun Xu, Georgios Portokalidis.
    Asia Conference on Information, Computer and Communications Security (AsiaCCS). julio 2023.
12. Solving Recurrence Relations using Machine Learning, with Application to Cost Analysis
    M. Klemen, M.Á. Carreira-Perpiñán, P. Lopez-Garcia.
    Computing Research Repository (CoRR). julio 2023.
13. A Deep Dive into the VirusTotal File Feed
    Kevin van Liebergen, Juan Caballero, Platon Kotzias, Chris Gates.
    GI International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment (DIMVA). julio 2023.
14. Your Code is 0000: An Analysis of the Disposable Phone Numbers Ecosystem
    José Miguel Moreno, Srdjan Matic, Narseo Vallina-Rodriguez, Juan Tapiador.
    Proceedings of the 7th Network Traffic Measurement and Analysis Conference (TMA). junio 2023.
15. Efficient Reactive Synthesis Using Mode Decomposition
    Matías Brizzio, César Sánchez.
    International Colloquium on Theoretical Aspects of Computing (ICTAC). 2023.
16. WhatsUpp with Sender Keys? Analysis, Improvements and Security Proofs
    David Balbás, Daniel Collins, Phillip Gajland.
    International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT). 2023.
17. Cuckoo Commitments: Registration-Based Encryption and Key-Value Map Commitments for Large Spaces
    Dario Fiore, Dimitris Kolonelos, Paola de Perthuis.
    International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT). 2023.
18. Mt. Random: Multi-tiered Randomness Beacons
    Ignacio Cascudo, Bernardo David, Omer Shlomovits, Denis Varlakov.
    International Conference on Applied Cryptography and Network Security (ACNS). 2023.
19. On the Impossibility of Algebraic NIZK in Pairing-Free Groups
    Emanuele Giunta.
    Advances in Cryptology – CRYPTO 2023. 2023.
20. Modular Sumcheck Proofs with Applications to Machine Learning and Image Processing
    David Balbás, Dario Fiore, María Isabel González Vasco, Damien Robissout, Claudio Soriente.
    ACM Conference on Computer and Communications Security (CCS). 2023.
21. CSI-SharK: CSI-FiSh with Sharing-friendly Keys
    Shahla Atapoor, Karim Baghery, Daniele Cozzo, Robi Pedersen.
    Australasian Conference on Information Security and Privacy (ACISP). 2023.
22. Practical Robust DKG Protocols for CSIDH
    Shahla Atapoor, Karim Baghery, Daniele Cozzo, Robi Pedersen.
    International Conference on Applied Cryptography and Network Security (ACNS). 2023.
23. VSS from Distributed ZK Proofs and Applications
    Shahla Atapoor, Karim Baghery, Daniele Cozzo, Robi Pedersen.
    International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT). 2023.
24. An Incremental PoSW for General Weight Distributions
    Hamza Abusalah, Valerio Cini.
    International Conference on the Theory and Application of Cryptographic Techniques (EuroCrypt). 2023.
25. ACoRe: Automated Goal-Conflict Resolution
    Luiz Carvalho, Renzo Degiovanni, Matías Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis.
    Fundamental Approaches to Software Engineering (FASE). 2023.
26. Efficient Bounded Exhaustive Input Generation from Program APIs
    Mariano Politano, Valeria S. Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio.
    Fundamental Approaches to Software Engineering (FASE). 2023.
27. Automated Repair of Unrealisable LTL Specifications Guided by Model Counting
    Matías Brizzio, Maxime Cordy, Mike Papadakis, César Sánchez, Nazareno Aguirre, Renzo Degiovanni.
    Genetic and Evolutionary Computations (GECCO). 2023.
28. Precise Lazy Initialization for Programs with Complex Heap Inputs
    Juan Manuel Copia, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Alessandra Gorla, Pablo Ponzio.
    International Symposium on Software Reliability Engineering (ISSRE). 2023.
29. Enabling Efficient Assertion Inference
    Aayush Garg, Renzo Degiovanni, Facundo Molina, Maxime Cordy, Nazareno Aguirre, Mike Papadakis, Yves Le Traon.
    International Symposium on Software Reliability Engineering (ISSRE). 2023.
30. EvoSpex: A Search-Based Tool for Postcondition Inference
    Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias.
    International Symposium on Software Testing and Analysis (ISSTA). 2023.
31. SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-Based Fuzzing
    Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre.
    Automated Software Engineering Conference (ASE). 2023.
32. Extendable Threshold Ring Signatures with Enhanced Anonymity
    Gennaro Avitabile, Vincenzo Botta, Dario Fiore.
    International Conference on Practice and Theory in Public Key Cryptography (PKC). 2023.
33. From Polynomial IOP and Commitments to Non-malleable zkSNARKs
    Antonio Faonio, Dario Fiore, Markulf Kohlweiss, Luigi Russo, Michal Zajac.
    Theory of Cryptography Conference (TCC). 2023.
34. Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation
    John P. Gallagher, Manuel V. Hermenegildo, José F. Morales, Pedro López-García.
    International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR). 2023.
35. Efficient and universally composable single secret leader election from pairings
    Dario Catalano, Dario Fiore, Emanuele Giunta.
    International Conference on Practice and Theory in Public Key Cryptography (PKC). 2023.
36. Chainable Functional Commitments for Unbounded-Depth Circuits
    David Balbás, Dario Catalano, Dario Fiore, Russell W. F. Lai.
    Theory of Cryptography Conference (TCC). 2023.
37. Round-Robin is Optimal: Lower Bounds for Group Action Based Protocols
    Daniele Cozzo, Emanuele Giunta.
    Theory of Cryptography Conference (TCC). 2023.
38. Get Me Out of This Payment! Bailout: An HTLC Re-routing Protocol
    Oguzhan Ersoy, Pedro Moreno-Sanchez, Stefanie Roos.
    Financial Cryptography and Data Security Conference (FC). 2023.
39. Fault-Tolerant Computing with Unreliable Channels
    Alejandro Naser-Pastoriza, Gregory V. Chockler, Alexey Gotsman.
    International Conference on Principles of Distributed Systems (OPODIS). 2023.
40. Visibility and Separability for a Declarative Linearizability Proof of the Timestamped Stack
    Jesús Domínguez, Aleksandar Nanevski.
    International Conference on Concurrency Theory (CONCUR). 2023.
41. Breaking and Fixing Virtual Channels: Domino Attack and Donner
    Lukas Aumayr, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei.
    Network and Distributed System Security Symposium (NDSS). 2023.
42. Is Machine Learning Necessary for Cloud Resource Usage Forecasting?
    Georgia Christofidi, Konstantinos Papaioannou, Thaleia Dimitra Doudali.
    Proceedings of the 2023 ACM Symposium on Cloud Computing. 2023.
43. Antichains Algorithms for the Inclusion Problem Between ω-VPL
    Kyveli Doveri, Pierre Ganty, Luka Hadži-Đokić.
    International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS). 2023.
44. Tableaux for Realizability of Safety Specifications
    Monserrat Hermo, Paqui Lucio, César Sánchez.
    International Symposium on Formal Methods (FM). 2023.
45. Bounded Model Checking for Asynchronous Hyperproperties
    Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez.
    International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS). 2023.
46. Efficient Loop Conditions for Bounded Model Checking Hyperproperties
    Tzu-Han Hsu, Sarai Sheinvald, César Sánchez, Borzoo Bonakdarpour.
    International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS). 2023.
47. The complexity of Presburger arithmetic with power or powers
    Michael Benedikt, Dmitry Chistikov, Alessio Mansutti.
    International Colloquium on Automata Languages and Programming (ICALP). 2023.
48. General Anticipatory Monitoring for Temporal Logics on Finite Traces
    Hannes Kallwies, Martin Leuker, César Sánchez.
    International Conference on Runtime Verification (RV). 2023.
49. LedgerLocks: A Security Framework for Blockchain Protocols Based on Adaptor Signatures
    Erkan Tairi, Pedro Moreno-Sanchez, Clara Schneidewind.
    ACM Conference on Computer and Communications Security (CCS). 2023.
50. On Polynomial-Time Decidability of k-Negations Fragments of FO Theories (extended abstract)
    Christoph Haase, Alessio Mansutti, Amaury Pouly.
    International Symposium on Mathematical Foundations of Computer Science (MFCS). 2023.
51. Scalable Off-chain Auction
    M. Minaei, R. Kumaresan, A. Beams, P. Moreno-Sanchez, Y. Yang, S. Raghuraman, P. Chatzigiannis, M. Zamani, D. Le.
    Network and Distributed System Security Symposium (NDSS). 2023.
52. Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing
    Oleksii Oleksenko, Marco Guarnieri, Boris Köpf, Mark Silberstein.
    IEEE Symposium on Security and Privacy (SP). 2023.
53. Cryptographic Oracle-Based Conditional Payments
    Varun Madathil, Sri Aravinda Krishnan Thyagarajan, Dimitrios Vasilopoulos, Lloyd Fournier, Giulio Malavolta, Pedro Moreno-Sanchez.
    Network and Distributed System Security Symposium (NDSS). 2023.
54. A Stream Runtime Verification Tool with Nested and Retroactive Parametrization
    Paloma Pedregal, Felipe Gorostiaga, César Sánchez.
    International Conference on Runtime Verification (RV). 2023.
55. Boolean Abstractions for Realizabilty Modulo Theories
    Andoni Rodríguez, César Sánchez.
    Proc. of the 35th International Conference on Computer Aided Verification (CAV'23). 2023.

Publicaciones en Workshops con Revisión (4)

1. Towards a rule-based approach for deriving abstract domains
   D. Jurjo, J. F. Morales, P. Lopez-Garcia, M.V. Hermenegildo.
   Technical Communications of the 39th International Conference on Logic Programming (ICLP 2023). julio 2023.
2. Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials
   D. Ferreiro, J.F. Morales, S. Abreu, M.V. Hermenegildo.
   Computing Research Repository (CoRR). julio 2023.
3. Solving Recurrence Relations using Machine Learning, with Application to Cost Analysis
   M. Klemen, M.Á. Carreira-Perpiñán, P. Lopez-Garcia.
   Computing Research Repository (CoRR). julio 2023.
4. Toward Pattern-Based Model Selection for Cloud Resource Forecasting
   Georgia Christofidi, Konstantinos Papaioannou, Thaleia Dimitra Doudali.
   Proceedings of the 3rd Workshop on Machine Learning and Systems. 2023.

Tesis Doctorales (4)

1. Succinct Cryptographic Commitments with Fine-Grained Openings for Decentralized Environments
   Dimitris Kolonelos.
   PhD Thesis. Universidad Politécnica de Madrid (UPM). Supervisors: Dario Fiore. diciembre 2023.
2. Visibility and Separability for Declarative Proofs of Linearizability
   Jesús Héctor Domínguez Sánchez.
   PhD Thesis. Universidad Politécnica de Madrid (UPM). Supervisors: Aleksandar Nanevski. diciembre 2023.
3. Compositional Reasoning of Concurrency with the Visibility Method
   Joakim Öhman.
   PhD Thesis. Universidad Politécnica de Madrid (UPM). Supervisors: Aleksandar Nanevski. diciembre 2023.
4. An Automated Framework for Cybersecurity Attribution and Artifact Relationship Identification
   Silvia Sebastián.
   PhD Thesis. Universidad Politécnica de Madrid (UPM). Supervisors: Juan Caballero. septiembre 2023.

Tesis de Master (2)

1. In-depth analysis of the Android supply chain:Vendor customizations on critical networking components
   Rathnayaka Mudiyanselage Vinuri Gayanthika Bandara.
   MSc Thesis. Universidad Politécnica de Madrid (UPM). Supervisors: Srdjan Matic, Narseo Vallina-Rodriguez. julio 2023.
2. Covre: Implementation of Code Coverage in a Black-Box CPU Fuzzer for Speculative Leakage Study
   Elvira Moreno Sánchez.
   MSc Thesis. Universidad Politécnica de Madrid (UPM). Supervisors: Marco Guarnieri, Jorge Blasco Arias. junio 2023.

Tesis de Grado (2)

1. Fuzzing RISC-V Processors for Speculative Leaks
   Eric García Arribas.
   BSc Thesis. Universidad Politécnica de Madrid (UPM). Supervisors: Marco Guarnieri, Manuel Carro. junio 2023.
2. Enumeration and Classification of Subdomains for Security Research through the lens of Public Suffix List
   Siddharth Balyan.
   BSc Thesis. Sushant University (SU). Supervisors: Juan Caballero, Srdjan Matic, Latika Singh. mayo 2023.

Libros y Monografías (1)

1. Prolog - The Next 50 Years
   David S. Warren, Veronica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi.
   julio 2023.

Actas (1)

1. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
   Pedro López-García, John P. Gallagher, Roberto Giacobazzi.
   2023.

Informes Técnicos y Manuales (6)

1. Resource Consumption Analysis, Verification, and Optimization for the Tezos Blockchain Technologies - TR3
   Manuel V. Hermenegildo, Pedro Lopez-Garcia, José F. Morales.
   IMDEA Software Institute. diciembre 2023.
2. Resource Consumption Analysis, Verification, and Optimization for the Tezos Blockchain Technologies - Progress Report and Request for Extension
   Manuel V. Hermenegildo, Pedro Lopez-Garcia, José F. Morales.
   IMDEA Software Institute. septiembre 2023.
3. A Methodology for Designing and Composing Abstract Domains Using Rewriting Rules
   D. Jurjo, J. F. Morales, P. Lopez-Garcia, M.V. Hermenegildo.
   CLIP Lab, UPM and IMDEA Software Institute. agosto 2023.
4. Improving Blockchain Scalability with the Setchain Data-type
   Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Antonio Russo, César Sánchez.
   Computing Research Repository. 2023.
5. SNACKs for Proof-of-Space Blockchains
   Hamza Abusalah.
   IACR Cryptology ePrint Archive. 2023.
6. Decentralized Stream Runtime Verification for Timed Asynchronous Networks
   Luis Miguel Danielsson, César Sánchez.
   Computing Research Repository. 2023.

Artículos en Libros y Otras Colecciones (4)

1. Teaching Prolog with Active Logic Documents
   J.F. Morales, S. Abreu, D. Ferreiro, M.V. Hermenegildo.
   Prolog - The Next 50 Years. julio 2023.
2. Types, modes and so much more – the Prolog way
   M.V. Hermenegildo, J.F. Morales, P. Lopez-Garcia, M. Carro.
   Prolog - The Next 50 Years. julio 2023.
3. Prolog: Past, Present, and Future
   Gopal Gupta, Elmer Salazar, Joaquín Arias, Kinjal Basu, S Varanasi, M Carro.
   Prolog - The Next 50 Years. julio 2023.
4. Some Thoughts on How to Teach Prolog
   M.V. Hermenegildo, J.F. Morales, P. Lopez-Garcia.
   Prolog - The Next 50 Years. julio 2023.

Artículos Invitados y Tutoriales (2)

1. On-the-fly Verification via (Incremental, Interactive) Abstract Interpretation with CiaoPP and Verifly
   M.V. Hermenegildo, I. Garcia-Contreras, J.F. Morales, P. Lopez-Garcia, L. Rustenholz, D. Ferreiro, D. Jurjo.
   octubre 2023.
2. How to Best Teach Prolog
   M.V. Hermenegildo, J.F. Morales, P. Lopez-Garcia.
   julio 2023.