Afshin Lamei

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 1

Top Topics

Rewriting Systems

Parameter Values

Intermediate Level

Top Venues

J. Univers. Comput. Sci.

Publications

Afshin Lamei, Mehran S. Fallah
Rewriting-Based Enforcement of Noninterference in Programs with Observable Intermediate Values. J. Univers. Comput. Sci. 22 (7) (2016)