Wei Yang Tan

According to our database, Wei Yang Tan authored at least 4 papers between 2013 and 2014.

Collaborative distances:

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

2014

Reverse Engineering Digital Circuits Using Structural and Functional Analyses.

Pramod Subramanyan, Nestan Tsiskaridze, Wenchao Li, Adrià Gascón, Wei Yang Tan, Ashish Tiwari, Natarajan Shankar, Sanjit A. Seshia, Sharad Malik

IEEE Trans. Emerg. Top. Comput., 2014

Formal Modeling and Verification of CloudProxy.

Wei Yang Tan, Rohit Sinha, John L. Manferdelli, Sanjit A. Seshia

Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

2013

Symbolic software model validation.

Cynthia Sturton, Rohit Sinha, Thurston H. Y. Dang, Sakshi Jain, Michael McCoyd, Wei Yang Tan, Petros Maniatis, Sanjit A. Seshia, David A. Wagner

Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013

WordRev: Finding word-level structures in a sea of bit-level gates.

Wenchao Li, Adrià Gascón, Pramod Subramanyan, Wei Yang Tan, Ashish Tiwari, Sharad Malik, Natarajan Shankar, Sanjit A. Seshia

Proceedings of the 2013 IEEE International Symposium on Hardware-Oriented Security and Trust, 2013