AMIT VASUDEVAN
Updated 210 days ago
überSpark is an innovative system architecture and programming principle for compositional verification of (security) properties of commodity (extensible) system software written in C and Assembly.
Associated domains: uberxmhf.org