Tamara Rezk

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Sound symbolic execution via abstract interpretation and its application to security Lecture Notes in Computer Science	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 Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2014-09-12	Paper
A certified lightweight non-interference Java bytecode verifier Mathematical Structures in Computer Science	2014-03-12	Paper
Secure information flow by self-composition Mathematical Structures in Computer Science	2011-12-08	Paper
Session types for access and information flow control CONCUR 2010 - Concurrency Theory	2010-08-31	Paper
Verification, Model Checking, and Abstract Interpretation Lecture Notes in Computer Science	2009-05-15	Paper
Certificate Translation for Optimizing Compilers Static Analysis	2009-03-12	Paper
A Certified Lightweight Non-interference Java Bytecode Verifier Programming Languages and Systems	2007-09-04	Paper
Security types preserving compilation Computer Languages, Systems & Structures	2007-02-20	Paper

Research outcomes over time

This page was built for person: Tamara Rezk