Pablo Buiras

According to our database1, Pablo Buiras authored at least 18 papers between 2010 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Speculative Leakage in ARM Cortex-A53.
CoRR, 2020

Validation of Abstract Side-Channel Models for Computer Architectures.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2017
QuickFuzz testing for fun and profit.
J. Syst. Softw., 2017

Cryptographically Secure Information Flow Control on Key-Value Stores.
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016
Securing functional programs with floating-label information-flow control.
PhD thesis, 2016

The Key monad: type-safe unconstrained dynamic typing.
Proceedings of the 9th International Symposium on Haskell, 2016

QuickFuzz: an automatic random fuzzer for common file formats.
Proceedings of the 9th International Symposium on Haskell, 2016

Flexible Manipulation of Labeled Values for Information-Flow Control Libraries.
Proceedings of the Computer Security - ESORICS 2016, 2016

2015
It's My Privilege: Controlling Downgrading in DC-Labels.
Proceedings of the Security and Trust Management - 11th International Workshop, 2015

HLIO: mixing static and dynamic typing for information-flow control in Haskell.
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

Dynamic Enforcement of Dynamic Policies.
Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, 2015

2014
On Dynamic Flow-Sensitive Floating-Label Systems.
Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2013
A Library for Removing Cache-Based Attacks in Concurrent Information Flow Systems.
Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

Lazy Programs Leak Secrets.
Proceedings of the Secure IT Systems - 18th Nordic Conference, 2013

Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling.
Proceedings of the Computer Security - ESORICS 2013, 2013

2012
Addressing covert termination and timing channels in concurrent information flow systems.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2011
Lower Bounds for Scalars in a Typed Algebraic λ-calculus
Proceedings of the Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications, 2011

2010
A Functional Framework for Result Checking.
Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010


  Loading...