Jianjun Duan

According to our database, Jianjun Duan authored at least 3 papers between 2005 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Formal Verification of Device Drivers in Embedded Systems.

Jianjun Duan

PhD thesis, 2013

2010

Correctness Proofs for Device Drivers in Embedded Systems.

Jianjun Duan, John Regehr

Proceedings of the 5th International Workshop on Systems Software Verification, 2010

2005

Functional Correctness Proofs of Encryption Algorithms.

Jianjun Duan, Joe Hurd, Guodong Li, Scott Owens, Konrad Slind, Junxing Zhang

Proceedings of the Logic for Programming, 2005