Jason Nieh
7 papers
· 2021–2025
· 1 conference
· across top CS/AI conferences
Achievements
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Cross-Pollinator
(4)
π
Renaissance Researcher
(5)
πΊοΈ
Taxonomy Completionist
(13)
π
Keyword Champion
(2)
Conferences
OSDI (7)
Top co-authors
Research topics
Keywords
formal verification
(3)
virtual machine
(2)
inductive invariant
(2)
smt solver
(2)
safety property
(2)
data confidentiality
(2)
automated verification
(2)
hardware security
(1)
confidential computing
(1)
invariant learning
(1)
memory protection
(1)
resource utilization
(1)
program analysis
(1)
virtual machine isolation
(1)
coq proof assistant
(1)
distributed protocol
(1)
firmware verification
(1)
trusted execution environment
(1)
static analysis
(1)
formal methods
(1)