Back to Results
First PageMeta Content
Software bugs / Type theory / Void type / Stack / Subroutine / Stack buffer overflow / Computer programming / Computing / Software engineering


Exploit-Generation with Acceleration Daniel Kroening, Matt Lewis, Georg Weissenbacher ●
Add to Reading List

Document Date: 2013-06-03 11:21:47

Open Document

File Size: 465,22 KB

Share Result on Facebook

IndustryTerm

software verification / /

Person

Daniel Kroening / Georg Weissenbacher / Matt Lewis / /

Position

Assistant Professor / /

ProgrammingLanguage

C / /

Technology

CAV / /

URL

http /

SocialTag