| Document Date: 2011-05-19 21:35:38
Open Document File Size: 188,24 KBShare Result on Facebook
City Austin / / Company Daron Vroon3 1 2 Galois Connections Inc. / Computer Sciences / Rockwell Collins Inc / / Facility University of Texas / College of Computing / Georgia Institute of Technology / / IndustryTerm illustrative applications / cryptographic protocols / rule applications / call site / / Organization Georgia Institute of Technology / Atlanta / University of Texas at Austin / College of Computing / University of Texas / / Position representative of operational machine models / interpreter / / ProgrammingLanguage Java / / ProvinceOrState Texas / Oregon / Georgia / / Technology encryption / block cipher / Java program implementing encryption / simulation / Java / 4.3 CBC-mode Encryption / /
SocialTag |
Verification Condition Generation via Theorem Proving John Matthews1 , J Strother Moore2 , Sandip Ray2 , and Daron Vroon3