LEVERAGING FORMAL TECHNIQUES TO HARDEN MOBILE PLATFORMS

Carnegie Mellon University, Pittsburgh PA

Investigators