90 citations · 118 across the 9 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.FL2016
A Language-theoretic View on Network Protocols
Pierre Ganty, Boris Köpf, Pedro Valero
Input validation is the first line of defense against malformed or malicious inputs. It is therefore critical that the validator (which is often part of the parser) is free of bugs…
cs.CR2016
Rigorous Analysis of Software Countermeasures against Cache Attacks
Goran Doychev, Boris Köpf
CPU caches introduce variations into the execution time of programs that can be exploited by adversaries to recover private information about users or cryptographic keys. Establish…