Taxonomic Search: yilu OR zhang, Presentation

6 results

Results

file

Visible to the public Architecture and Distributed Management for Reliable Mega-scale Smart Grids

Submitted by vvittal on Tue, 08/09/2011 - 1:07pm. Contributor:
file

Visible to the public String Solvers for Web Security

Submitted by Katie Dey on Tue, 05/14/2013 - 12:55pm. Contributor:

ABSTRACT

Over the last decade, SMT solvers [1, 2] have made a huge impact in automatic bug-finding, analysis and verification of desktop software. More recently, string solvers are starting to have a similar impact on security analysis and vulnerability detection in web applications. String solvers provide a rich constraint language essential for security analysis of web applications, and recently have become efficient enough to be used at scale.

file

Visible to the public From SMT Solvers to Verifiers

Submitted by Katie Dey on Mon, 05/13/2013 - 3:46pm. Contributor:

ABSTRACT

file

Visible to the public StarExec - A Web Service for Evaluating Logic Solvers

Submitted by astump on Wed, 10/03/2012 - 3:39pm. Contributors: