Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Sergio Maffeis
Observed names:
Dr. Sergio Maffeis,
Maffeis, Sergio,
Sergio Maffeis C
Institution:
Imperial College London
Observed institutions:
University of Pisa,
Microsoft (United States),
University of California, Santa Cruz,
University of Malaya,
Imperial College London
ORCID:
0000-0003-1514-6857
Observed ORCID:
0000-0003-1514-6857
OpenAlex ID:
A5043151499
VulBERTa: Simplified Source Code Pre-Training for Vulnerability Detection
2022
·
Hazim Hanif
, Sergio Maffeis
·
International Joint Conference on Neural Networks (IJCNN)
·
240
PDF
Refinement types for secure implementations
2011
·
Jesper Bengtson
, Karthikeyan Bhargavan
, et al.
·
ACM Transactions on Programming Languages and Systems
·
231
PDF
An Operational Semantics for JavaScript
2008
·
Sergio Maffeis
, John C. Mitchell
, et al.
·
Lecture notes in computer science
·
149
Code-Carrying Authorization
2008
·
Sergio Maffeis
, Martín Abadi
, et al.
·
Lecture notes in computer science
·
141
A trusted mechanised JavaScript specification
2014
·
Martin Bodin
, Arthur Chargueraud
, et al.
·
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
·
120
Object Capabilities and Isolation of Untrusted Web Applications
2010
·
Sergio Maffeis
, John C. Mitchell
, et al.
·
IEEE Symposium on Security and Privacy (S&P)
·
110
On the Expressive Power of Polyadic Synchronisation in π-calculus
2002
·
Marco Carbone
, Sergio Maffeis
·
Electronic Notes in Theoretical Computer Science
·
107
PDF
Refinement Types for Secure Implementations
2008
·
Jesper Bengtson
, Karthikeyan Bhargavan
, et al.
·
IEEE Computer Security Foundations Workshop (CSFW)
·
100
Discovering Concrete Attacks on Website Authorization by Formal Analysis
2012
·
Chetan Bansal
, Karthikeyan Bhargavan
, et al.
·
IEEE Computer Security Foundations Workshop (CSFW)
·
95
Language-Based Isolation of Untrusted JavaScript
2009
·
Sergio Maffeis
, Ankur Taly
·
IEEE Computer Security Foundations Workshop (CSFW)
·
91
20th IEEE Computer Security Foundations Symposium, CSF 2007, 6-8 July 2007, Venice, Italy
2007
·
Cédric Fournet
, Andrew Gordon
, et al.
·
89
Discovering concrete attacks on website authorization by formal analysis1
2014
·
Chetan Bansal
, Karthikeyan Bhargavan
, et al.
·
Journal of Computer Security
·
78
A Type Discipline for Authorization in Distributed Systems
2007
·
Cedric Fournet
, Andrew Gordon
, et al.
·
IEEE Computer Security Foundations Workshop (CSFW)
·
77
Isolating JavaScript with Filters, Rewriting, and Wrappers
2009
·
Sergio Maffeis
, John C. Mitchell
, et al.
·
Lecture notes in computer science
·
68
PDF
Towards a program logic for JavaScript
2012
·
Philippa Anne Gardner
, Sergio Maffeis
, et al.
·
ACM SIGPLAN Notices
·
64
Adversarial Attacks on Time-Series Intrusion Detection for Industrial Control Systems
2020
·
Giulio Zizzo
, Chris Hankin
, et al.
·
IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)
·
62
PDF
Towards a program logic for JavaScript
2012
·
Philippa Anne Gardner
, Sergio Maffeis
, et al.
·
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
·
60
A Type Discipline for Authorization Policies
2005
·
Cédric Fournet
, Andrew D. Gordon
, et al.
·
Lecture notes in computer science
·
53
An Executable Formal Semantics of PHP
2014
·
Daniele Filaretti
, Sergio Maffeis
·
Lecture notes in computer science
·
51
Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage
2013
·
Chetan Bansal
, Karthikeyan Bhargavan
, et al.
·
Lecture notes in computer science
·
41
PDF
A type discipline for authorization policies
2007
·
Cédric Fournet
, Andrew D. Gordon
, et al.
·
ACM Transactions on Programming Languages and Systems
·
41
PDF
Adversarial Machine Learning Beyond the Image Domain
2019
·
Giulio Zizzo
, Chris Hankin
, et al.
·
ACM/IEEE Design Automation Conference (DAC)
·
38
On the computational strength of pure ambient calculi
2004
·
Sergio Maffeis
, Iain Phillips
·
Theoretical Computer Science
·
36
PDF
Modelling dynamic web data
2005
·
Philippa Gardner
, Sergio Maffeis
·
Theoretical Computer Science
·
29
PDF
CPS-MT: A Real-Time Cyber-Physical System Monitoring Tool for Security Research
2018
·
Martin Barrere
, Chris Hankin
, et al.
·
IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
·
22
Show more works
View as search
Works count:
94
Citation count:
2,534
H-index:
24
I10-index:
43
Year
Topic
Type
