DAPA: Degradation-Aware Privacy Analysis of Android Apps von Barbon, Gianluca, Cortesi, Agostino, Ferrara, Pietro, Steffinlongo, Enrico

Volltext

Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions von Calzavara, Stefano, Bugliesi, Michele, Crafa, Silvia, Steffinlongo, Enrico

Volltext

SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer von Gadelha, Mikhail Y.R, Steffinlongo, Enrico, Cordeiro, Lucas, Fischer, Bernd, Nicole, Denis A

Volltext bestellen

Beyond k-induction: Learning from Counterexamples to Bidirectionally Explore the State Space von Gadelha, Mikhail R, Monteiro, Felipe R, Steffinlongo, Enrico, Cordeiro, Lucas C, Nicole, Denis A

Volltext bestellen

SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer von Gadelha, Mikhail R, Steffinlongo, Enrico, Cordeiro, Lucas C, Fischer, Bernd, Nicole, Denis A

Volltext bestellen

Writing Real-Time .Net Games in Casanova von Maggiore, Giuseppe, Spronck, Pieter, Orsini, Renzo, Bugliesi, Michele, Steffinlongo, Enrico, Abbadi, Mohamed

Volltext

Beyond k-induction: Learning from Counterexamples to Bidirectionally Explore the State Space von Gadelha, Mikhail R, Monteiro, Felipe R, Steffinlongo, Enrico, Cordeiro, Lucas C, Nicole, Denis A

Volltext

SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer von Gadelha, Mikhail R, Steffinlongo, Enrico, Cordeiro, Lucas C, Fischer, Bernd, Nicole, Denis A

Volltext