Login / Signup
Vivekananda Vedula
Publication Activity (10 Years)
Years Active: 2015-2016
Publications (10 Years): 2
Top Topics
Third Party
Data Providers
Information Leakage
Intellectual Property
Top Venues
VLSI Design
DAC
</>
Publications
</>
Jeyavijayan Rajendran
,
Arunshankar Muruga Dhandayuthapany
,
Vivekananda Vedula
,
Ramesh Karri
Formal Security Verification of Third Party Intellectual Property Cores for Information Leakage.
VLSI Design
(2016)
Jeyavijayan Rajendran
,
Vivekananda Vedula
,
Ramesh Karri
Detecting malicious modifications of data in third-party intellectual property cores.
DAC
(2015)