Login / Signup
Toshiki Seto
Publication Activity (10 Years)
Years Active: 2008-2019
Publications (10 Years): 1
Top Topics
Optimization Algorithm
Specification Language
Symbolic Execution
Test Generation
Top Venues
SNPD
</>
Publications
</>
Toshiki Seto
,
Akito Monden
,
Zeynep Yücel
,
Yuichiro Kanzaki
On Preventing Symbolic Execution Attacks by Low Cost Obfuscation.
SNPD
(2019)
Naoyasu Ubayashi
,
Toshiki Seto
,
Hirotoshi Kanagawa
,
Susumu Taniguchi
,
Jun Yoshida
,
Takeshi Sumi
,
Masayuki Hirayama
A context analysis method for constructing reliable embedded systems.
MiSE
(2008)