search

tum-i4 / macke-vulnerability-assessment

1 stars 1 forks source link

readme

Impact factors for severity assessment of bugs discovered via compositional symbolic execution

By Ricardo Nales, supervised by Saahil Ognawala