Search Results for 'Certikos'

Certikos published presentations and documents on DocSlides.

End-to-End Verification of Information-Flow Security for

by aaron

C and Assembly Programs. David Costanzo. ,. . Zh...

End-to-End Verification of Information-Flow Security for

by tawny-fly

C and Assembly Programs. David Costanzo. ,. . Zh...