Author of the publication

Reverse Engineering Digital Circuits Using Structural and Functional Analyses.

, , , , , , , , and . IEEE Trans. Emerg. Top. Comput., 2 (1): 63-80 (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Synthesized Algorithm for Interactive Consistency., and . NASA Formal Methods, volume 8430 of Lecture Notes in Computer Science, page 270-284. Springer, (2014)Private Protocols for U-Statistics in the Local Model and Beyond., , , and . AISTATS, volume 108 of Proceedings of Machine Learning Research, page 1573-1583. PMLR, (2020)Composition and Substitution in Provenance and Workflows., , and . TaPP, USENIX Association, (2016)Learning Theory through Videos - A Teaching Experience in a Theoretical Course based on Self-learning Videos and Problem-solving Sessions., , , and . CSEDU (2), page 93-98. SciTePress, (2011)Revisiting Square-Root ORAM: Efficient Random Access in Multi-party Computation., , , , , , and . IEEE Symposium on Security and Privacy, page 218-234. IEEE Computer Society, (2016)The HOM Problem is EXPTIME-Complete., , , and . LICS, page 255-264. IEEE Computer Society, (2012)Privacy-Preserving Distributed Linear Regression on High-Dimensional Data., , , , , , and . Proc. Priv. Enhancing Technol., 2017 (4): 345-364 (2017)First-Order Unification on Compressed Terms., , and . RTA, volume 10 of LIPIcs, page 51-60. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)MPC-Friendly Commitments for Publicly Verifiable Covert Security., , , and . CCS, page 2685-2704. ACM, (2021)ACORN: Input Validation for Secure Aggregation., , , , , , and . USENIX Security Symposium, page 4805-4822. USENIX Association, (2023)