Browse "CS-Conference Papers(학술회의논문)" by Author Rebert, Alexandre

Showing results 1 to 3 of 3

1
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

2
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

3
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

rss_1.0 rss_2.0 atom_1.0