2 papers
cs.CR2020
An Empirical Study on Benchmarks of Artificial Software Vulnerabilities
Sijia Geng, Yuekang Li, Yunlan Du +3
Recently, various techniques (e.g., fuzzing) have been developed for vulnerability detection. To evaluate those techniques, the community has been developing benchmarks of artifici…
math.OC2019
Distributed Barrier Certificates for Safe Operation of Inverter-Based Microgrids
Soumya Kundu, Sijia Geng, Sai Pushpak Nandanoori +2
Inverter-interfaced microgrids differ from the traditional power systems due to their lack of inertia. Vanishing timescale separation between voltage and frequency dynamics makes i…