Jianjun Duan

Publication Activity (10 Years)

Years Active: 2005-2010
Publications (10 Years): 0

Publications

Jianjun Duan, John Regehr
Correctness Proofs for Device Drivers in Embedded Systems. SSV (2010)
Jianjun Duan, Joe Hurd, Guodong Li, Scott Owens, Konrad Slind, Junxing Zhang
Functional Correctness Proofs of Encryption Algorithms. LPAR (2005)