STP/HAMPI and Computer Security

Details STP/HAMPI and Computer Security STP/HAMPI and Computer Security

2012-04-12

arxiv.org/abs/1204.2989v1

Computer Science

Cryptography and Security

Scientific paper

In the past several years I have written two SMT solvers called STP and HAMPI
that have found widespread use in computer security research by leading groups
in academia, industry and the government. In this brief note I summarize the
features of STP/HAMPI that make them particularly suited for computer security
research, and a listing of some of the more important projects that use them.

Affiliated with

Also associated with

No associations

Rating

STP/HAMPI and Computer Security does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with STP/HAMPI and Computer Security, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and STP/HAMPI and Computer Security will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-313354