QuickFuzz testing for fun and profit
Grieco, Gustavo, Ceresa, Martín, Mista, Agustín, Buiras, Pablo
Published in The Journal of systems and software (01.12.2017)
Published in The Journal of systems and software (01.12.2017)
Get full text
Journal Article
MAC A verified static information-flow control library
Vassena, Marco, Russo, Alejandro, Buiras, Pablo, Waye, Lucas
Published in Journal of logical and algebraic methods in programming (01.02.2018)
Published in Journal of logical and algebraic methods in programming (01.02.2018)
Get full text
Journal Article
It’s My Privilege: Controlling Downgrading in DC-Labels
Waye, Lucas, Buiras, Pablo, King, Dan, Chong, Stephen, Russo, Alejandro
Published in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2015)
Published in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2015)
Get full text
Book Chapter
Conference Proceeding
Lazy Programs Leak Secrets
Buiras, Pablo, Russo, Alejandro
Published in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2013)
Published in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2013)
Get full text
Book Chapter
Conference Proceeding
Beyond Over-Protection: A Targeted Approach to Spectre Mitigation and Performance Optimization
Marinaro, Tiziano, Buiras, Pablo, Lindner, Andreas, Guanciale, Roberto, Nemati, Hamed
Year of Publication 15.12.2023
Year of Publication 15.12.2023
Get full text
Journal Article
A functional framework for result checking
Barthe, Gilles, Buiras, Pablo, Kunz, César
Published in Proceedings of the 10th international conference on Functional and Logic Programming (19.04.2010)
Published in Proceedings of the 10th international conference on Functional and Logic Programming (19.04.2010)
Get full text
Conference Proceeding
Validation of Abstract Side-Channel Models for Computer Architectures
Nemati, Hamed, Buiras, Pablo, Lindner, Andreas, Guanciale, Roberto, Jacobs, Swen
Year of Publication 11.05.2020
Year of Publication 11.05.2020
Get full text
Journal Article
On Dynamic Flow-Sensitive Floating-Label Systems
Buiras, Pablo, Stefan, Deian, Russo, Alejandro
Published in 2014 IEEE 27th Computer Security Foundations Symposium (01.07.2014)
Published in 2014 IEEE 27th Computer Security Foundations Symposium (01.07.2014)
Get full text
Conference Proceeding
Speculative Leakage in ARM Cortex-A53
Nemati, Hamed, Guanciale, Roberto, Buiras, Pablo, Lindner, Andreas
Published in arXiv.org (17.07.2020)
Get full text
Published in arXiv.org (17.07.2020)
Paper
Validation of Abstract Side-Channel Models for Computer Architectures
Nemati, Hamed, Buiras, Pablo, Lindner, Andreas, Guanciale, Roberto, Jacobs, Swen
Published in arXiv.org (11.05.2020)
Get full text
Published in arXiv.org (11.05.2020)
Paper
Cryptographically Secure Information Flow Control on Key-Value Stores
Waye, Lucas, Buiras, Pablo, Owen, Arden, Russo, Alejandro, Chong, Stephen
Published in arXiv.org (29.08.2017)
Published in arXiv.org (29.08.2017)
Get full text
Paper
Journal Article