MEFORMA Security Evaluation Methodology - A Case Study. - Ernö Jeges; Balázs Berkes; Balázs Kiss; Gergely Eberhardt (PECCS, 2014)

Combining Static and Dynamic Analyses for Vulnerability Detection: Illustration on Heartbleed. - Balázs Kiss; Nikolai Kosmatov; Dillon Pariente; Armand Puccetti (Haifa Verification Conference, 2015)