Suivre
Pablo Buiras
Titre
Citée par
Citée par
Année
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
962015
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
832013
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
832012
QuickFuzz: An automatic random fuzzer for common file formats
G Grieco, M Ceresa, P Buiras
ACM SIGPLAN Notices 51 (12), 13-20, 2016
622016
QuickFuzz testing for fun and profit
G Grieco, M Ceresa, A Mista, P Buiras
Journal of Systems and Software 134, 340-354, 2017
342017
On dynamic flow-sensitive floating-label systems
P Buiras, D Stefan, A Russo
2014 IEEE 27th Computer Security Foundations Symposium, 65-79, 2014
332014
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
322018
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 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
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
212021
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
Dynamic enforcement of dynamic policies
P Buiras, B van Delft
Proceedings of the 10th ACM Workshop on Programming Languages and Analysis …, 2015
92015
Speculative leakage in ARM cortex-a53
H Nemati, R Guanciale, P Buiras, A Lindner
arXiv preprint arXiv:2007.06865, 2020
82020
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
The Key monad: type-safe unconstrained dynamic typing
A Ploeg, K Claessen, P Buiras
ACM SIGPLAN Notices 51 (12), 146-157, 2016
12016
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20