Sumathi Gokulanathan

According to our database, Sumathi Gokulanathan authored at least 3 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

An Overview of FPGA-inspired Obfuscation Techniques.

Zain Ul Abideen, Sumathi Gokulanathan, Muayad J. Aljafar, Samuel Pagliarini

CoRR, 2023

2020

Simplifying Neural Networks Using Formal Verification.

Sumathi Gokulanathan, Alexander Feldsher, Adi Malca, Clark W. Barrett, Guy Katz

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

2019

Simplifying Neural Networks with the Marabou Verification Engine.

Sumathi Gokulanathan, Alexander Feldsher, Adi Malca, Clark W. Barrett, Guy Katz

CoRR, 2019