Profile

Marco Pistoia

Head of Global Technology Applied Research, Global Head of Quantum Computing …

Zweryfikowany adres z jpmchase.com

Cytowane przez 10512

Quantum Computing Application Security Language-based Security Program Analysis

Andrei Sabelfeld

Chalmers University of Technology

Zweryfikowany adres z chalmers.se

Cytowane przez 10074

software security web security language-based security IoT software security location privacy

David Sands

Professor of Computer Science, Chalmers University of Technology

Zweryfikowany adres z chalmers.se

Cytowane przez 5816

Information flow security Language-Based Security Programming Languages

Stephen Chong

Harvard University

Zweryfikowany adres z seas.harvard.edu

Cytowane przez 4700

Language-based Security Security Programming Languages

Anindya Banerjee

Professor, IMDEA Software Institute

Zweryfikowany adres z imdea.org

Cytowane przez 4347

Language-based Security Verification Concurrency Program Analysis Programming Languages

Peter Thiemann

Professor of Computer Science, University of Freiburg

Zweryfikowany adres z informatik.uni-Freiburg.de

Cytowane przez 4295

programming languages static analysis types language-based security

David A. Naumann

Professor of Computer Science, Stevens Institute of Technology

Zweryfikowany adres z cs.stevens.edu

Cytowane przez 3606

Software Verification Language Based Security Refinement Programming Languages

stefan brunthaler

Professor, Secure Software Engineering @ CODE National Research Institute

Zweryfikowany adres z unibw.de

Cytowane przez 3087

Language-based Security Programming Languages Compilers & Interpreters Computer Systems

Jeff Huang

Associate Professor, Computer Science and Engineering

Zweryfikowany adres z cse.tamu.edu

Cytowane przez 2815

Edge AI Blockchain Security Language-based Security High Performance Computing

Danfeng Zhang

Duke University

Zweryfikowany adres z duke.edu

Cytowane przez 2726

Security Programming Languages Language-based security

1 - 10