EXPLORING AND EXPERIMENTING WITH MATHEMATICAL AND LOGICAL FRAMEWORK IN ORDER TO IMPROVE SECURITY GUARANTEES THAT ARE ENFORCED AT THE HARDWARE LEVEL.

University Of Missouri System, Columbia MO

Investigators