Email Gateway (Aug 18 2022 at 17:40): Email Gateway (Aug 18 2022 at 17:40):From: David Brumley <dbrumley@cmu.edu>
Hi,
I'm looking for a postdoc to work at CMU in the area of software
security. In particular, the project will be on automatically
identifying exploitable bugs in binary code. This may be of interest
to people on this mailing list as our techniques are related to
verification. At a high level, we're developing techniques and tools
for scalable symbolic execution of binary code. This involves research
in program analysis (e.g., type reconstruction for binary code,
redundancy elimination), verification condition generation, and fast
decision procedures. This postdoc would be very much a hands-on
opportunity; we're interested not just in theorems but actually
producing results that work on real software.
More information on what we've done so far is available at
http://security.ece.cmu.edu/aeg Interested postdocs should contact me
directly.
Take care,
-David
Last updated: Apr 19 2024 at 20:15 UTC