Browse "School of Computing(전산학부)" by Author Avgerinos, Thanassis
Showing results 3 to 6 of 6
| Enhancing Symbolic Execution with Veritesting Avgerinos, Thanassis; Rebert, Alexandre; Cha, Sang Kil; Brumley, David, International Conference on Software Engineering, IEEE Computer Society and ACM SIGSOFT, 2014-06-06 |
| Enhancing Symbolic Execution with Veritesting Avgerinos, Thanassis; Rebert, Alexandre; Cha, Sang Kil; Brumley, David, COMMUNICATIONS OF THE ACM, v.59, no.6, pp.93 - 100, 2016-06 |
| Optimizing Seed Selection for Fuzzing Rebert, Alexandre; Cha, Sang Kil; Avgerinos, Thanassis; Foote, Jonathan; Warren, David; Grieco, Gustavo; Brumley, David, USENIX Security Symposium, USENIX Association, 2014-08-22 |
| Unleashing Mayhem on Binary Code Cha, Sang Kil; Avgerinos, Thanassis; Rebert, Alexandre; Brumley, David, IEEE Symposium on Security and Privacy, IEEE, 2012-05-02 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,774 2020 - 2024
- 5,388 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989