Skip to main content
USENIX
  • Conferences
  • Students
Sign in
  • WOOT '12 Home
  • Organizers
  • Registration Information
  • Registration Discounts
  • Workshop Program
  • Co-located Workshops
  • Sponsors
  • Students
  • Help Promote
  • For Participants
  • Call for Papers
  • Past Workshops

sponsors

Bronze Sponsor
General Sponsor

twitter

Tweets by @usenix

usenix conference policies

  • Event Code of Conduct
  • Conference Network Policy
  • Statement on Environmental Responsibility Policy

You are here

Home » SMT Solvers in Software Security
Tweet

connect with us

http://twitter.com/usenix
https://www.facebook.com/events/385528201466018/

SMT Solvers in Software Security

Authors: 

Julien Vanegue, Microsoft Security Science; Sean Heelan, Immunity Inc.; Rolf Rolles

Abstract: 

Computational capacity of modern hardware and algorithmic advances have allowed SAT solving to become a tractable technique to rely on for the decision of properties in industrial software. In this article, we present three practical applications of SAT to software security in static vulnerability checking, exploit generation, and the study of copy protections. These areas are some of the most active in terms of both theoretical research and practical solutions. Investigating the successes and failures of approaches to these problems is instructive in providing guidance for future work on the problems themselves as well as other SMT-based systems.

Open Access Media

USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. Support USENIX and our commitment to Open Access.

BibTeX
@inproceedings {179512,
title = {{SMT} Solvers in Software Security},
booktitle = {6th USENIX Workshop on Offensive Technologies (WOOT 12)},
year = {2012},
address = {Bellevue, WA},
url = {https://www.usenix.org/conference/woot12/workshop-program/presentation/Vanegue},
publisher = {USENIX Association},
month = aug,
}
Download
Vanegue PDF
View the slides

Presentation Video

Presentation Audio

MP3 Download OGG Download

Download Audio

  • Log in or    Register to post comments

Bronze Sponsors

General Sponsors

© USENIX

  • Privacy Policy
  • Contact Us