Concepedia

Sergio Maffeis

SM

Statistics

Publications

26

Citations

1.6K

H-Index

19

Active since

2002

Affiliations

Imperial College London(Current)

Microsoft (United States)

Institut national de recherche en sciences et technologies du numérique

University of Malaya

Uppsala University

Sergio Maffeis is an author at Imperial College London specializing in computing, computer science, and computer security.

ORCID

Publications per year

2002–2022

26

Publications

26

Refinement types for secure implementations

Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet et al. · ACM Transactions on Programming Languages and Systems · 2011 · 228 citations · Full text

, , +17

VulBERTa: Simplified Source Code Pre-Training for Vulnerability Detection

Hazim Hanif, Sergio Maffeis · 2022 International Joint Conference on Neural Networks (IJCNN) · 2022 · 149 citations

, , +14

Object Capabilities and Isolation of Untrusted Web Applications

Sergio Maffeis, John C. Mitchell, Ankur Taly · 2010 · 112 citations · Full text

, , +9

Discovering Concrete Attacks on Website Authorization by Formal Analysis

Chetan Bansal, Karthikeyan Bhargavan, Sergio Maffeis · 2012 · 93 citations

, , +17

Language-Based Isolation of Untrusted JavaScript

Sergio Maffeis, Ankur Taly · 2009 · 93 citations · Full text

, , +16

1–5 of 26