The Caspia Technologies team is proud to announce that Rasheed Kibria, a Senior R&D Engineer on our team, has received an Honorable Mention Award from the 2023 International Test Conference.
Rasheed Kibria, PhD
Rasheed was recognized for his paper on “ARC-FSM-G: Automatic Security Rule Checking for Finite State Machine at the Netlist Abstraction”, an innovative technique for automatically verifying security in hardware finite state machines.
The award is a testament to the quality and significance of Rasheed’s research. Congratulations to him on this well-deserved achievement.
Read his paper here: https://ieeexplore.ieee.org/document/10351063
