Software Seminar Series (S3)
Wednesday, December 21, 2022
Marco Guarnieri, Assistant Professor, IMDEA Software InstitutePrincipled foundations for microarchitectural security
Abstract: Microarchitectural attacks, such as Spectre and Meltdown, illustrate that artifacts of hardware implementations (like sp...
Tuesday, October 25, 2022
Emanuele Giunta, PhD Student, IMDEA Software InstituteOn the Impossibility of Algebraic Vector Commitments
Abstract: Vector Commitments allow one to (concisely) commit to a vector of messages so that one can later (concisely) open the co...
Tuesday, October 18, 2022
Dimitris Kolonelos, PhD Student, IMDEA Software InstituteSuccinct Zero-Knowledge Batch Proofs for Set Accumulators
Abstract: Cryptographic accumulators are a common solution to proving information about a large set . They allow to compute a shor...
Tuesday, September 27, 2022
Juan Manuel Copia, PhD Student, IMDEA Software InstituteLISSA: Lazy Initialization with Specialized Solver Aid
Abstract: Programs that deal with heap-allocated inputs are difficult to analyze with symbolic execution (SE). Lazy Initialization...
Tuesday, June 7, 2022
Javier Galindos, Research Intern, IMDEA Software InstitutePredicting Cloud Resource Utilization Using Machine Learning and Computer Vision
Abstract: Cloud computing has revolutionized the access to and the use of emerging computing hardware technologies. To achieve eff...
Tuesday, April 19, 2022
Gaspard Anthoine, Research Engineer, IMDEA Software InstituteDynamic proofs of retrievability with low server storage
Abstract: Proofs of Retrievability (PoRs) are protocols which allow a client to store data remotely and to efficiently ensure, via...
Tuesday, April 12, 2022
Gibran Gomez, PhD Student, IMDEA Software InstituteWatch Your Back: Identifying Cybercrime Financial Relationships in Bitcoin through Back-and-Forth Exploration
Abstract: Cybercriminals often leverage Bitcoin for their illicit activities. In this work, we propose back-and-forth exploration,...