| 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 | 88 | 2015 |
| 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 | 83 | 2012 |
| 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 | 80 | 2013 |
| QuickFuzz: An automatic random fuzzer for common file formats G Grieco, M Ceresa, P Buiras ACM SIGPLAN Notices 51 (12), 13-20, 2016 | 50 | 2016 |
| On dynamic flow-sensitive floating-label systems P Buiras, D Stefan, A Russo 2014 IEEE 27th Computer Security Foundations Symposium, 65-79, 2014 | 30 | 2014 |
| 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 | 27 | 2018 |
| QuickFuzz testing for fun and profit G Grieco, M Ceresa, A Mista, P Buiras Journal of Systems and Software 134, 340-354, 2017 | 26 | 2017 |
| Lazy programs leak secrets P Buiras, A Russo Secure IT Systems: 18th Nordic Conference, NordSec 2013, Ilulissat …, 2013 | 25 | 2013 |
| 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 | 19 | 2017 |
| 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 | 15* | 2014 |
| It’s my privilege: Controlling downgrading in DC-labels L Waye, P Buiras, D King, S Chong, A Russo Security and Trust Management: 11th International Workshop, STM 2015, Vienna …, 2015 | 14 | 2015 |
| 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 | 12 | 2016 |
| 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 | 8 | 2020 |
| Dynamic enforcement of dynamic policies P Buiras, B van Delft Proceedings of the 10th ACM Workshop on Programming Languages and Analysis …, 2015 | 8 | 2015 |
| 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 | 8 | 2011 |
| Speculative Leakage in ARM Cortex-A53 H Nemati, R Guanciale, P Buiras, A Lindner arXiv preprint arXiv:2007.06865, 2020 | 6 | 2020 |
| 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 | 5 | 2021 |
| On flow-sensitive floating-label systems P Buiras, D Stefan, A Russo Proc. of 27th IEEE computer security foundations symp 10, 2014 | 4 | 2014 |
| A Functional Framework for Result Checking. G Barthe, P Buiras, C Kunz FLOPS, 72-86, 2010 | 2 | 2010 |
| The Key monad: type-safe unconstrained dynamic typing A Ploeg, K Claessen, P Buiras ACM SIGPLAN Notices 51 (12), 146-157, 2016 | 1 | 2016 |
Alejandro RussoProfessor, Computer Science and Engineering Department, Chalmers / Göteborg UniversityBestätigte E-Mail-Adresse bei chalmers.se
