Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Sujit Kumar Muduli"'
Publikováno v:
Proceedings of the ACM on Programming Languages. 6:1291-1319
This paper addresses the problem of creating abstract transformers automatically. The method we present automates the construction of static analyzers in a fashion similar to the way $\textit{yacc}$ automates the construction of parsers. Our method t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8e320e2a8b9082373c6ef5ad32cc4d5a
https://doi.org/10.1145/3563334
https://doi.org/10.1145/3563334
Autor:
Sujit Kumar Muduli, Subhajit Roy
Publikováno v:
Proceedings of the ACM on Programming Languages. 6:1236-1263
Programming languages and software engineering tools routinely encounter components that are difficult to reason on via formal techniques or whose formal semantics are not even available—third-party libraries, inline assembly code, SIMD instruction
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0c67b2bb864254e62fc7809bc1f6d444
https://doi.org/10.1145/3563332
https://doi.org/10.1145/3563332
Publikováno v:
VLSI-SOC
Many important specifications of hardware and software systems, such as secure information flow and determinism are expressible only as hyperproperties. In contrast to the well-studied class of trace properties, which specify sets of valid runs (aka
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a17596ed6c4e0111b6195f6a81bcd38b
https://doi.org/10.1109/vlsi-soc46417.2020.9344106
https://doi.org/10.1109/vlsi-soc46417.2020.9344106
Autor:
Pramod Subramanyan, Sujit Kumar Muduli
Publikováno v:
ATS
Verification and validation of system-level security primitives is a pressing challenge in systems-on-chip (SoC) design and verification. This is a difficult problem to tackle for three reasons. First, no general frameworks exist that can enable adve
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d2eb02dbbdcc445caf22e1bc9c0100d4
https://doi.org/10.1109/ats47505.2019.00017
https://doi.org/10.1109/ats47505.2019.00017
Publikováno v:
FMCAD
An important primitive in ensuring security of modern systems-on-chip designs are protocols for authenticated firmware load. These loaders read a firmware binary image from an untrusted input device, authenticate the image using cryptography and load
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fc9f286ec219e488c42bc5ad292e34ac
https://doi.org/10.23919/fmcad.2019.8894262
https://doi.org/10.23919/fmcad.2019.8894262