USENIX Security '16 - überSpark: Enforcing Verifiable Object Abstractions for Automated...

97 views

USENIX

3 years ago

USENIX Security '16 - überSpark: Enforcing Verifiable Object Abstractions for Automated...

USENIX Security '16 - überSpark: Enforcing Verifiable Object Abstractions for Automated...