Seguir
Pablo Buiras
Título
Citado por
Citado por
Año
HLIO: Mixing static and dynamic typing for information-flow control in Haskell
P Buiras, D Vytiniotis, A Russo
Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015
982015
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
852013
Addressing covert termination and timing channels in concurrent information flow systems
D Stefan, A Russo, P Buiras, A Levy, JC Mitchell, D Mazieres
Proceedings of the 17th ACM SIGPLAN International Conference on Functional …, 2012
852012
QuickFuzz: An automatic random fuzzer for common file formats
G Grieco, M Ceresa, P Buiras
ACM SIGPLAN Notices 51 (12), 13-20, 2016
632016
QuickFuzz testing for fun and profit
G Grieco, M Ceresa, A Mista, P Buiras
Journal of Systems and Software 134, 340-354, 2017
362017
On dynamic flow-sensitive floating-label systems
P Buiras, D Stefan, A Russo
2014 IEEE 27th Computer Security Foundations Symposium, 65-79, 2014
342014
Mac a verified static information-flow control library
M Vassena, A Russo, P Buiras, L Waye
Journal of logical and algebraic methods in programming 95, 148-180, 2018
332018
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
292017
Lazy programs leak secrets
P Buiras, A Russo
Nordic Conference on Secure IT Systems, 116-122, 2013
262013
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
232021
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
232020
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
16*2014
It’s my privilege: Controlling downgrading in DC-labels
L Waye, P Buiras, D King, S Chong, A Russo
International Workshop on Security and Trust Management, 203-219, 2015
152015
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
122016
Speculative leakage in ARM cortex-a53
H Nemati, R Guanciale, P Buiras, A Lindner
arXiv preprint arXiv:2007.06865, 2020
102020
Dynamic enforcement of dynamic policies
P Buiras, B van Delft
Proceedings of the 10th ACM Workshop on Programming Languages and Analysis …, 2015
102015
Confluence via strong normalisation in an algebraic λ-calculus with rewriting
P Buiras, A Díaz-Caro, M Jaskelioff
Proceedings of the 6th Workshop on Logical and Semantic Frameworks, with …, 2011
72011
On flow-sensitive floating-label systems
P Buiras, D Stefan, A Russo
Proc. of 27th IEEE computer security foundations symp 10, 2014
42014
A functional framework for result checking
G Barthe, P Buiras, C Kunz
International Symposium on Functional and Logic Programming, 72-86, 2010
22010
Beyond Over-Protection: A Targeted Approach to Spectre Mitigation and Performance Optimization
T Marinaro, P Buiras, A Lindner, R Guanciale, H Nemati
Proceedings of the 19th ACM Asia Conference on Computer and Communications …, 2024
12024
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20