Skip to main content

School of Computing and Information Systems
People
Graduate Researchers
Pengbo Yan

Pengbo Yan

Email pengboy@student.unimelb.edu.au
Melbourne Connect

Thesis Title

Proving Obliviousness with Formal Verification

Supervisors

Discipline

Computer Science

Email Contact us
Faculty of Engineering and Information Technology
Engineering & IT Students
Staff only: FEIT Intranet

School of Computing and Information Systems

About us
CIS Doctoral Colloquium
Industry
News
People
Research
Schools
Study with us
AI and Autonomy Lab
Artificial Intelligence Assurance Lab
Academic Centre of Cyber Security Excellence (ACCSE)
Human-Computer Interaction
Information systems
Contact us

Current Students
Library
Staff