Software Seminar Series (S3)

Martin Ceresa

Tuesday, December 1, 2020

Martin Ceresa, PhD Student, IMDEA Software Institute

Effectful Improvement Theory

Abstract: Optimising programs is hard. Not only one must preserve semantics, but also one needs to ensure that an optimisation rea...


Abstract: Vector commitments with subvector openings (SVC) [Lai-Malavolta, Boneh-Bunz-Fisch; CRYPTO’19] allow one to open a commit...


Abstract: Transport Layer Security (TLS) is utilized by several applications to secure network communication through encryption. M...


Zachary Grannan

Tuesday, July 21, 2020

Zachary Grannan, Research Intern, IMDEA Software Institute

REST: Rewriting for SMT Verification with User-Defined Functions

Abstract: We introduce REST, a rewrite technique for SMT-based verifiers that supports user-defined terminating functions. Our tec...


Zsolt Istvan

Tuesday, June 23, 2020

Zsolt Istvan, Assistant Research Professor, IMDEA Software Institute

The Good, The Bad and the Road Ahead: Hardware Acceleration for BFT Consensus

Abstract: Permissioned blockchains can offer a mechanism for transacting across several, not necessarily trusting, entities but th...


Abstract: Getting the deterministic finite-state automaton with the least possible number of states is an essential question in ma...


Isabel García

Tuesday, March 3, 2020

Isabel García, PhD Student, IMDEA Software Institute

Modular verification of C programs

Abstract: To obtain scalability, software model checkers often employ modular analysis techniques that analyze each of the procedu...


Tuesday, February 18, 2020

Avinash Sudhodanan, Post-doctoral Researcher, IMDEA Software Institute

Cross-Origin State Inference (COSI) Attacks: Leaking Web Site States through XS-Leaks

Abstract: This talk will be a rehearsal of my Network and Distributed System Security Symposium (NDSS) 2020 paper presentation. I ...


Pedro Valero

Tuesday, February 4, 2020

Pedro Valero, PhD Student, IMDEA Software Institute

Lossless Compression of Textual Data

Abstract: This talk is a combination of what I have learned about grammar-based compression while developing our tool -zearch- for...


Abstract: We show how to infer deterministic cache replacement policies using off-the-shelf automata learning and program synthesi...