research
∙
05/29/2019
Sub-Turing Islands in the Wild
Recently, there has been growing debate as to whether or not static anal...
share
research
∙
08/03/2018
DCert: Find the Leak in Your Pocket
Static data-flow analysis has proven its effectiveness in assessing secu...
research
∙
08/03/2018
Certificate Enhanced Data-Flow Analysis
Proof-carrying-code was proposed as a solution to ensure a trust relatio...
research
∙
08/03/2018