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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Yu Zhang