Deian Stefan

Deian Stefan

University of California, San Diego

H-index: 32

North America-United States

About Deian Stefan

Deian Stefan, With an exceptional h-index of 32 and a recent h-index of 27 (since 2020), a distinguished researcher at University of California, San Diego, specializes in the field of Computer Security, Operating Systems, Programming Languages.

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

Pathfinder: High-Resolution Control-Flow Attacks Exploiting the Conditional Branch Predictor

How Secrecy Leads to Bad Public Technology

Robust constant-time cryptography

From Fine-to Coarse-Grained Dynamic Information Flow Control and Back

Foundations of WebAssembly

3.5 WasmCert-Coq: A Mechanised Specification of WebAssembly

Half&Half: Demystifying Intel’s directional branch predictors for fast, secure partitioned execution

WaVe: a verifiably secure WebAssembly sandboxing runtime

Deian Stefan Information

University

Position

___

Citations(all)

3227

Citations(since 2020)

1900

Cited By

2057

hIndex(all)

32

hIndex(since 2020)

27

i10Index(all)

54

i10Index(since 2020)

46

Email

University Profile Page

Google Scholar

Deian Stefan Skills & Research Interests

Computer Security

Operating Systems

Programming Languages

Top articles of Deian Stefan

Pathfinder: High-Resolution Control-Flow Attacks Exploiting the Conditional Branch Predictor

2024/4/27

How Secrecy Leads to Bad Public Technology

2023/12/13

Robust constant-time cryptography

arXiv preprint arXiv:2311.05831

2023/11/10

Ranjit Jhala
Ranjit Jhala

H-Index: 31

Deian Stefan
Deian Stefan

H-Index: 21

From Fine-to Coarse-Grained Dynamic Information Flow Control and Back

Foundations and Trends® in Programming Languages

2023/10/8

Foundations of WebAssembly

2023/10

Deian Stefan
Deian Stefan

H-Index: 21

3.5 WasmCert-Coq: A Mechanised Specification of WebAssembly

Foundations of WebAssembly

2023/10

Deian Stefan
Deian Stefan

H-Index: 21

Half&Half: Demystifying Intel’s directional branch predictors for fast, secure partitioned execution

2023/5/26

WaVe: a verifiably secure WebAssembly sandboxing runtime

2023/5/21

Going beyond the limits of sfi: Flexible and secure hardware-assisted in-process isolation with hfi

2023/3/25

Mswasm: Soundly enforcing memory-safe execution of unsafe code

Proceedings of the ACM on Programming Languages

2023/1/9

Foundations of WebAssembly (Dagstuhl Seminar 23101)

2023

Deian Stefan
Deian Stefan

H-Index: 21

Cachet: A Domain-Specific Language for Trustworthy Just-In-Time Compilers.

Workshop on Principles of Secure Compilation (PriSC)

2023/1

Segue & colorguard: Optimizing sfi performance and scalability on modern x86

The 17th Workshop on Programming Languages and Analysis for Security

2022/11

A Turning Point for Verified Spectre Sandboxing

arXiv preprint arXiv:2208.01548

2022/8/2

Daniel Moghimi
Daniel Moghimi

H-Index: 11

Deian Stefan
Deian Stefan

H-Index: 21

Securing data across execution contexts

2022/6/7

Sok: Practical foundations for software spectre defenses

2022/5/22

Blocked or broken? Automatically detecting when privacy interventions break websites

2022/3/7

Isolation without taxation: near-zero-cost transitions for webassembly and sfi

Proceedings of the ACM on Programming Languages

2022/1/11

Sugarcoat: Programmatically generating privacy-preserving, web-compatible resource replacements for content blocking

2021/11/12

Michael Smith
Michael Smith

H-Index: 19

Deian Stefan
Deian Stefan

H-Index: 21

Tutorial: Sandboxing (unsafe) C code with RLBox

2021/10/18

Craig Disselkoen
Craig Disselkoen

H-Index: 7

Deian Stefan
Deian Stefan

H-Index: 21

See List of Professors in Deian Stefan University(University of California, San Diego)

Co-Authors

academic-engine