Denis Bueno

@codebueno
Lowly Student
4828 CSE, 2260 Hayward St.
Ann Arbor, MI 48109
Email: the-letter-d the-letter-l lastname AT umich.edu

I am a PhD candidate studying with Karem Sakallah. I also work with Michael Bailey in the Networking and Security Research Group. Before coming to Ann Arbor, I received my Bachelor's degree from Georgia Tech and my Master's from Cornell.

I'm interested in formal software verification, static program analysis, and security.

I'm reasonably sure I'm expected to put useful information on this website. But what can you do – the interwebs are a silly place.

Publications

Denis Bueno, Kevin J. Compton, Karem A. Sakallah, and Michael Bailey. Detecting Traditional Packers, Decisively. In Salvatore J. Stolfo, Angelos Stavrou, and Charles V. Wright, editors. Research in Attacks, Intrusions, and Defenses, volume 8145 of Lecture Notes in Computer Science. Springer, 2013.

@inproceedings{Bueno+:RAID2013,
  author = {Denis Bueno and Kevin J. Compton and Karem A. Sakallah and Michael Bailey},
  title = {Detecting Traditional Packers, Decisively},
  year = {2013},
  pages = {184--203},
  crossref = {RAID:2013}}
@proceedings{RAID:2013,
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  booktitle = {Research in Attacks, Intrusions, and Defenses},
  title = {Research in Attacks, Intrusions, and Defenses},
  volume = {8145},
  editor = {Salvatore J. Stolfo and Angelos Stavrou and Charles V. Wright},
  year = {2013}}

— What manner of man are you that can summon up fire without flint or tinder?
— I... am an enchanter.
— By what name are you known?
— There are some who call me... Tim?

You may be interested in some software.

SBSATPlain TeXfunsat

-----BEGIN PGP PUBLIC KEY BLOCK-----
Version: GnuPG v1.4.13 (Darwin)

mQINBFEuKH0BEADCcb9RQ7FgFhdJ3NcD/q86ccr7Cgbs9ThR9x1gQ1jIDxiNCw2H
NlOQP+ZhrV/D+gMPYTp8KZ+MUTssJjqMSUvbpLbZNW0Yma05VwgMRCYCU//6o1cm
8rj/H9QhZWNES10ZIHWTK7Tpob0pJ9ZzjWjKqrg0idvYjPSR5T4UN2VB6ARdnKxB
9aXc0CpLL8rRZItry75YaJpl9GKTMvWwa0oSjDfFE+VhTQlxXjNNrD0wZUsTxV5i
ntR+50F0yMoC/W5mcT+aqG5EpIyQaWXbbJ/M2eoP0YgoZz4DLGypmbX6pn+zRG6/
Bs/q22LLoMeesDl54U9e3uQwKkyxUap4oZqgCc9RFI6GvNV+RBL4wY0b+0t04Vbl
ZtHhHHyWugph54MkYrwo6f3dP7g58mAOA7g3Eb6Lhsnu9QWTi2PZFx5iAe0W3KQw
fqZ0MDJflHvdcD+r/C284craQ/4D1l3sB9pHW/NW3OxQw/DD/AZkae73/ycJDcfo
hENJTgKsdNe+o9ix/bslWMUefE/Yjoem2dLl44Lz7LIJXzqy/XFO0aoz5Y3MLTVs
8m0BMsLYUhV8TDEeAHFZuhMOlIkNE6buCkA4OdnD9QeFsY4gwoKV0tePxegrOEBa
uPT31LYe2sKRY3sFcXt7GIaNfwGwLHILhAF9qqzGaPn5B996TT2mQYjqLwARAQAB
tCFEZW5pcyBMLiBCdWVubyA8ZGJ1ZW5vQGdtYWlsLmNvbT6JAjgEEwECACIFAlEu
KH0CGwMGCwkIBwMCBhUIAgkKCwQWAgMBAh4BAheAAAoJELKfy6lRnLWk6R8P/0hV
J5e+E8eBsQOHlt5ydlxOBeJdj5gkFojicvEZ9kqW2lWWrbknXu96ZEOlqXulFB/O
Truo8X//T2r3QC+XUF0H+TAo0aR9ABC0jsBQycRJ1yk04jfcyFrU4LLy9iP8YBuh
123BESlknydL6Li5h6tWf+IGEAcnTyyVHFwxvrSPbaYwgM2Es2/V4m9QRKMvLe8x
hj0lMhGIfLjCaL8O/OYzXvnzF7s+pTE+kG86BKxfpsWjebUC3d4ZRFeucAcIXrnv
uVorCOYYcR6w42UJVe8aSBk/hu6njpgCt4TyGAU79fguv7UaB4WuNk392sJSlZn+
xKwFWOUvsAhmuuYIEo1zUAPMNO78sWs0IQfuzKDIKlJF/T825c217o5hHIL0+vBz
CxOrilQQcAIImIgNF0aGUKz03rCtACnfgTNvmmFb5R9oHuMAoxJ1qliwW9SMgHTR
1k6kZk5kQnWxvbnxRYOaVlCkoJqfqXuPI/edeiwibUWobhA5MVbNQTdzXx5XgHL7
lhySxqqBev8+z/7Dr6X3vSMLCuYrCb/2FDROwQGDS+G0SplrDEBSLlT9kpfWTBEZ
7LUvTh1LXeG1jQOEQYbe1bETYDLFieP0tY3W53dsA6vtYqtJFtD6uvT4ddxWFmCU
lBLvVjdLw+qtf3E37cvTw/4/uyc1JbKAArnbmXjuuQINBFEuKH0BEADZx8241DXB
pgiT3wCIZxN6MycOh/T1h2QOkygDQuyzaqUSmXatX+zsQL2LSKPsex+Y8WBBrxge
jMiFxU4ZeCSt5GfAlWpzL3XKHicqsGMHq2HHwUkeoeezRRps3B+JlY0ejB3EnbkM
k/45Ky/K2QXNFXrNbLoivtyGEhVdAPiGLSycZRuYnTw+k0EcDbtIQ+fXwviBJNvR
uI8dkDXfqYZ8yZ2LBnOltPJvKD4tnkV5aUlGm2Dbc6Vzy5dLoPxtpEFogiBjU4gX
fVtUXkLXYqwZ5nCaD9TjKGiNCYxVcv9EyQWZ99Uw+PRDqXjRxKpnOSuTMGjARjeS
htLk5sPvj9tZwP6PE4IzmsU/tELBV/H9rslp/9fiGsqAGy9WU/vy5cic62GwsZI+
Rrno+Fud9C+2mYSfYLBMo4n7lqylZ2PPR8ESTVF1W36JLOl8KdV8VR5majIgVjUw
CWMirQgcg39xDduVaAg0dCQKc7G2ZPRQDYYoSYRqepuaysKl8eUhpKf1b2QbV+5I
eFY985o2Gv5g1Yz3hAxlMWm1IGe6R9DdxiDME+oHZYzBYm27WzSmCXiwMjk9yWaS
l83dMOyixFVijUbmy9FgOguMvkxvHFIIq3TOG5spvWrysyHz6880mrA5S5XABQbO
bchCYCofIDmW9/oYBkW4xacBFKQcZxD8PQARAQABiQIfBBgBAgAJBQJRLih9AhsM
AAoJELKfy6lRnLWk7RsQAIDwDS13VcZo1bZir1GOpK9+tM0HUvyPtPcMwS63Xvqm
KtAOcKnpbJR+P+qq4E4W8S5PcPVT9b4U9//L6gBk8xMPyTIn7Nymyj2Ffp70Zm1u
okT9ktupCork6lfU6tuWktu4iFeaFTvsP5glqwIJHF6Sytw1jxiZkDkiZt1UqaK0
UHO2hshlL4kP/llOMDf/xqYEisuh4OZPmUgcoqReKOSiKSCwpoHvFsSLvgviIfmL
cGDx0zzi96vDij0GPBWD3apUD878f+vDHJwpGkHOTUSiT8afAGaqosYbM/x+GgLx
bJE5Ry0Z8iqsI1sP5/F7j0cxGa+sys2lASzfyiilHIW/2o3NQehI/NKZIfDnHLhU
VP/oKNAfI14E1FAI4v+QjKV38HNEpslpeyGSsjFfcYIqgug1nkmb7IupCPXGx6l1
pwQ8uoVOb/z8r5vFERuTCTzk6HXQs4TGhX9yxrAfO5UbZGXLRCNQPHpFTeZBplvc
TZ+1rH9ZBkVnJWNzlv1VXXitbrsZqCjzdGz0SbHsFzC64rGfwQpXTNcW+lmLdoFo
XFydxL8QCBL21BDrxqmudJ311CSOlQC6G+oPrUYKoEtXfDVENxCmSAmcmfKsTidS
W+U4uicRdwj68kKVvzXjcEG9Z+DFMzmXLut83BCwXcVFErGOBPwS0QznmBOHjWUg
=88lN
-----END PGP PUBLIC KEY BLOCK-----

-----BEGIN PGP PUBLIC KEY BLOCK-----
Version: GnuPG v1.4.13 (Darwin)
Comment: A revocation certificate should follow

iEkEIBECAAkFAlEuKOwCHQEACgkQyqQKqqG1G0thJACfdU7l8LEN7jFXN3SB7/Lx
TjA159IAoKdt1/ILmciz1gHMY8ule/1b8b0l
=Tgc+
-----END PGP PUBLIC KEY BLOCK-----