Yu Zhang

Available identifiers

zbMath Open zhang.yu.18MaRDI QIDQ351978

List of research outcomes

Publication	Date of Publication	Type
A temporal programming model with atomic blocks based on projection temporal logic	2018-12-19	Paper
Program equivalence in linear contexts	2015-05-26	Paper
Formal security proofs with minimal fuss: implicit computational complexity at work	2015-05-04	Paper
Formal verification of concurrent programs with Read-write locks	2013-07-04	Paper
The Buffered π-Calculus: A Model for Concurrent Languages	2013-03-18	Paper
The computational SLR: a logic for reasoning about computational indistinguishability	2010-12-01	Paper
A Calculus for Game-Based Security Proofs	2010-10-12	Paper
Reasoning about Optimistic Concurrency Using a Program Logic for History	2010-08-31	Paper
The Computational SLR: A Logic for Reasoning about Computational Indistinguishability	2009-07-07	Paper
Cryptographic logical relations	2008-04-15	Paper
Computer Science Logic	2007-06-21	Paper
Computer Science Logic	2005-08-22	Paper

Research outcomes over time

This page was built for person: Yu Zhang