Weiyun Lu

According to our database, Weiyun Lu authored at least 3 papers between 2011 and 2020.

Collaborative distances:

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

2020

Towards Formal Verification of Program Obfuscation.

Weiyun Lu, Bahman Sistany, Amy P. Felty, Philip J. Scott

Proceedings of the IEEE European Symposium on Security and Privacy Workshops, 2020

2013

Concurrent and comparative fault simulation in SystemC and its application in robustness evaluation.

Weiyun Lu, Martin Radetzki

Microprocess. Microsystems, 2013

2011

Efficient Fault Simulation of SystemC Designs.

Weiyun Lu, Martin Radetzki

Proceedings of the 14th Euromicro Conference on Digital System Design, 2011