Aquinas Hobor

Collaboration Map View Statistics Email Alert RSS Feed

Full Name

Aquinas Hobor

(not current staff)

Variants

Hobor, A.

Main Affiliation

DEAN'S OFFICE (YALE-NUS COLLEGE)
DEPARTMENT OF COMPUTER SCIENCE
YALE-NUS COLLEGE

Faculty

YALE-NUS COLLEGE
SCHOOL OF COMPUTING

dcsah@nus.edu.sg

Refined By:

File Format: Adobe PDF

Results 1-4 of 4 (Search time: 0.006 seconds).

Refman EndNote Bibtex RefWorks Excel CSV PDF Send via email

	Issue Date	Title	Author(s)
1	2020	BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof	Shinde, Shweta ; Wang, Shengyi; Yuan, Pinghai ; Hobor, Aquinas ; Roychoudhury, Abhik ; Saxena, Prateek
2	1-Jan-2021	Functional Correctness of C Implementations of Dijkstra’s, Kruskal’s, and Prim’s Algorithms	Mohan, Anshuman ; Leow, Wei Xiang ; Hobor, Aquinas
3	2018	Logical reasoning for disjoint permissions	Le X.-B. ; Hobor A.
4	9-Aug-2023	Smart Learning to Find Dumb Contracts	Tamer Abdelaziz; Aquinas Hobor