Information and Systems-Image Engineering(Date:2024/02/28)

Presentation
A Study on formal verification of GF(2^m) arithmetic circuits including states

Kazuho Sakoda(SCU/Kobe Univ.),  Yasuyoshi Uemura(SCU),  Naofumi Homma(Tohoku Univ.),  

[Date]2024-03-02
[Paper #]VLD2023-140,HWS2023-100,ICD2023-129
Feasibility Study of Instrumentation Security for Infrastructure Monitoring Camera

Nagisa Nishimura(Osaka Univ.),  Kotaro Naruse(Osaka Univ.),  Jun Shiomi(Osaka Univ.),  Yoshihiro Midoh(Osaka Univ.),  Noriyuki Miura(Osaka Univ.),  

[Date]2024-03-02
[Paper #]VLD2023-136,HWS2023-96,ICD2023-125
<<123 41-42hit(42hit)