Search results for: Lucca Hirschi
2017 IEEE Security and Privacy Workshops (SPW) > 169 - 178
Journal of Logical and Algebraic Methods in Programming > 2017 > 87 > C > 127-144
2016 IEEE Symposium on Security and Privacy (SP) > 564 - 581
2017 IEEE Security and Privacy Workshops (SPW) > 169 - 178
Journal of Logical and Algebraic Methods in Programming > 2017 > 87 > C > 127-144
2016 IEEE Symposium on Security and Privacy (SP) > 564 - 581