Pramod Subramanyan | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Rohit Sinha
12 publications
Yakir Vizel
7 publications
Aarti Gupta
6 publications
Sharad Malik
5 publications
Bo-Yuan Huang
2 publications
Shubham Sahai
1 publication
Hongce Zhang
1 publication
Deepak Sirone
1 publication

research

∙ 05/10/2020

Verification of Quantitative Hyperproperties Using Trace Enumeration Relations

Many important cryptographic primitives offer probabilistic guarantees o...

0 Shubham Sahai, et al. ∙

research

∙ 11/29/2018

Functional Analysis Attacks on Logic Locking

This paper proposes Functional Analysis attacks on state of the art Logi...

0 Deepak Sirone, et al. ∙

research

∙ 01/03/2018

Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification

Modern Systems-on-Chip (SoC) designs are increasingly heterogeneous and ...

0 Bo-Yuan Huang, et al. ∙

Success!

An error occurred