Articles in Refereed Conferences (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). December 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. December 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). December 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). November 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). November 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). November 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). October 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). October 2023.
9. Cryptographic Administration for Secure Group Messaging
   David Balbás, Daniel Collins, Serge Vaudenay.
   Usenix Annual Technical Conference (USENIX). August 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). August 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). July 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). July 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). July 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). June 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.