Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Pengbo Yan
Observed name:
Yan, Pengbo
Institution:
The University of Melbourne
Observed institution:
The University of Melbourne
ORCID:
0000-0003-0396-8343
Observed ORCID:
0000-0003-0396-8343
OpenAlex ID:
A5031849336
Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms
2024
·
Pengbo Yan
, Toby Murray
, et al.
·
Lecture notes in computer science
·
2
PDF
Compositional Vulnerability Detection with Insecurity Separation Logic
2023
·
Toby Murray
, Pengbo Yan
, et al.
·
Lecture notes in computer science
·
2
SecRSL: security separation logic for C11 release-acquire concurrency
2021
·
Pengbo Yan
, Toby Murray
·
Proceedings of the ACM on Programming Languages
·
2
PDF
SecRSL: Security Separation Logic for C11 Release-Acquire Concurrency (Extended version with technical appendices)
2021
·
Yan, Pengbo
, Murray, Toby
·
arXiv (Cornell University)
·
1
PDF
Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms (Extended Version)
2024
·
Yan, Pengbo
, Murray, Toby
, et al.
·
arXiv (Cornell University)
PDF
Proving Obliviousness of Probabilistic Algorithms with Formal Verification
2022
·
Pengbo Yan
·
ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH)
Incremental Vulnerability Detection via Back-Propagating Symbolic Execution of Insecurity Separation Logic.
2021
·
Toby Murray
, Pengbo Yan
, et al.
·
arXiv (Cornell University)
Incremental Vulnerability Detection with Insecurity Separation Logic
2021
·
Toby Murray
, Pengbo Yan
, et al.
·
arXiv (Cornell University)
Show more works
View as search
Works count:
11
Citation count:
8
H-index:
2
I10-index:
Year
Topic
Type
