Login / Signup
Ioannis Stais
ORCID
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 2
Top Topics
Integration Testing
Cellular Automata
Formal Analysis
Black Box
Top Venues
IEEE Symposium on Security and Privacy
CCS
</>
Publications
</>
George Argyros
,
Ioannis Stais
,
Aggelos Kiayias
,
Angelos D. Keromytis
Back in Black: Towards Formal, Black Box Analysis of Sanitizers and Filters.
IEEE Symposium on Security and Privacy
(2016)
George Argyros
,
Ioannis Stais
,
Suman Jana
,
Angelos D. Keromytis
,
Aggelos Kiayias
SFADiff: Automated Evasion Attacks and Fingerprinting Using Black-box Differential Automata Learning.
CCS
(2016)