Pablo Buiras

Pablo Buiras

Royal Institute of Technology - Stockholm / Sweden
Social Sciences / Linguistics and Literature
AD Scientific Index ID: 1092312
KTH Royal Institute of Technology
person_outline Pablo Buiras's MOST POPULAR ARTICLES
1-) HLIO: Mixing static and dynamic typing for information-flow control in Haskell Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015
2-) Addressing covert termination and timing channels in concurrent information flow systems Proceedings of the 17th ACM SIGPLAN International Conference on Functional …, 2012
3-) Eliminating cache-based timing attacks with instruction-based scheduling Computer Security–ESORICS 2013: 18th European Symposium on Research in …, 2013
4-) Quickfuzz: An automatic random fuzzer for common file formats ACM SIGPLAN Notices 51 (12), 13-20, 2016
5-) QuickFuzz testing for fun and profit Journal of Systems and Software 134, 340-354, 2017