Advanced search
Advanced search
Journal of Hardware and Systems Security > 2019 > 3 > 2 > 132-146
Journal of Hardware and Systems Security > 2019 > 3 > 3 > 200-218
International Journal of Information Technology > 2019 > 11 > 2 > 287-293
Lecture Notes in Computer Science > FM’99 — Formal Methods > Security > 718-737