ProfessorsProfessors of Kungliga Tekniska högskolanPablo Buiras

Pablo Buiras

Kungliga Tekniska högskolan

H-index: 13

Europe-Sweden

About Pablo Buiras

Pablo Buiras, With an exceptional h-index of 13 and a recent h-index of 10 (since 2020), a distinguished researcher at Kungliga Tekniska högskolan, specializes in the field of Language-based security, functional programming.

His recent articles reflect a diverse array of research interests and contributions to the field:

Beyond Over-Protection: A Targeted Approach to Spectre Mitigation and Performance Optimization

A Case Study in Information Flow Refinement for Low Level Systems

Validation of side-channel models via observation refinement

Speculative leakage in ARM cortex-a53

Validation of abstract side-channel models for computer architectures

Pablo Buiras Information

University	Kungliga Tekniska högskolan
Position	___
Citations(all)	571
Citations(since 2020)	321
Cited By	415
hIndex(all)	13
hIndex(since 2020)	10
i10Index(all)	14
i10Index(since 2020)	10
Email	Access Email
University Profile Page	Kungliga Tekniska högskolan
Google Scholar	View Google Scholar Profile

Pablo Buiras Skills & Research Interests

Language-based security

functional programming

Top articles of Pablo Buiras

Title	Journal	Author(s)	Publication Date
Beyond Over-Protection: A Targeted Approach to Spectre Mitigation and Performance Optimization	arXiv preprint arXiv:2312.09770	Tiziano Marinaro Pablo Buiras Andreas Lindner Roberto Guanciale Hamed Nemati	2023/12/15
A Case Study in Information Flow Refinement for Low Level Systems		Roberto Guanciale Christoph Baumann Pablo Buiras Mads Dam Hamed Nemati	2022/7/4
Validation of side-channel models via observation refinement		Pablo Buiras Hamed Nemati Andreas Lindner Roberto Guanciale	2021/10/18
Speculative leakage in ARM cortex-a53	arXiv preprint arXiv:2007.06865	Hamed Nemati Roberto Guanciale Pablo Buiras Andreas Lindner	2020/7/14
Validation of abstract side-channel models for computer architectures		Hamed Nemati Pablo Buiras Andreas Lindner Roberto Guanciale Swen Jacobs	2020