Articles with public access mandates - Pablo BuirasLearn more
Available somewhere: 10
Eliminating cache-based timing attacks with instruction-based scheduling
D Stefan, P Buiras, EZ Yang, A Levy, D Terei, A Russo, D Mazières
Computer Security–ESORICS 2013: 18th European Symposium on Research in …, 2013
Mandates: Swedish Research Council
QuickFuzz testing for fun and profit
G Grieco, M Ceresa, A Mista, P Buiras
Journal of Systems and Software 134, 340-354, 2017
Mandates: US Department of Defense
On dynamic flow-sensitive floating-label systems
P Buiras, D Stefan, A Russo
2014 IEEE 27th Computer Security Foundations Symposium, 65-79, 2014
Mandates: Swedish Research Council
Cryptographically secure information flow control on key-value stores
L Waye, P Buiras, O Arden, A Russo, S Chong
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
Mandates: US National Science Foundation, US Department of Defense, Swedish Research …
Lazy programs leak secrets
P Buiras, A Russo
Nordic Conference on Secure IT Systems, 116-122, 2013
Mandates: Swedish Research Council
Validation of abstract side-channel models for computer architectures
H Nemati, P Buiras, A Lindner, R Guanciale, S Jacobs
Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020
Mandates: Federal Ministry of Education and Research, Germany
Validation of side-channel models via observation refinement
P Buiras, H Nemati, A Lindner, R Guanciale
MICRO-54: 54th Annual IEEE/ACM International Symposium on Microarchitecture …, 2021
Mandates: Federal Ministry of Education and Research, Germany
A library for removing cache-based attacks in concurrent information flow systems
P Buiras, A Levy, D Stefan, A Russo, D Mazieres
Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos …, 2014
Mandates: Swedish Research Council
Flexible manipulation of labeled values for information-flow control libraries
M Vassena, P Buiras, L Waye, A Russo
Computer Security–ESORICS 2016: 21st European Symposium on Research in …, 2016
Mandates: US National Science Foundation
A Case Study in Information Flow Refinement for Low Level Systems
R Guanciale, C Baumann, P Buiras, M Dam, H Nemati
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to …, 2022
Mandates: Federal Ministry of Education and Research, Germany
Publication and funding information is determined automatically by a computer program