Tamara Rezk

Available identifiers

zbMath Open rezk.tamaraMaRDI QIDQ865704

List of research outcomes

Publication	Date of Publication	Type
Sound symbolic execution via abstract interpretation and its application to security	2023-08-17	Paper
Spot the difference: secure multi-execution and multiple facets	2022-08-19	Paper
Cryptographically sound implementations for typed information-flow security	2014-09-12	Paper
A certified lightweight non-interference Java bytecode verifier	2014-03-12	Paper
Secure information flow by self-composition	2011-12-08	Paper
Session types for access and information flow control	2010-08-31	Paper
Verification, Model Checking, and Abstract Interpretation	2009-05-15	Paper
Certificate Translation for Optimizing Compilers	2009-03-12	Paper
A Certified Lightweight Non-interference Java Bytecode Verifier	2007-09-04	Paper
Security types preserving compilation	2007-02-20	Paper

Research outcomes over time

This page was built for person: Tamara Rezk