123 citations · 123 across the 4 of their papers we have counts for
4 papers
Synthesizing Precise Protocol Specs from Natural Language for Effective Test Generation
Kuangxiangzi Liu, Dhiman Chakraborty, Alexander Liggesmeyer +1
Safety- and security-critical systems have to be thoroughly tested against their specifications. The state of practice is to have _natural language_ specifications, from which test…
TALUS: Reinforcing TEE Confidentiality with Cryptographic Coprocessors (Technical Report)
Dhiman Chakraborty, Michael Schwarz, Sven Bugiel
Platforms are nowadays typically equipped with tristed execution environments (TEES), such as Intel SGX and ARM TrustZone. However, recent microarchitectural attacks on TEEs repeat…
simTPM: User-centric TPM for Mobile Devices (Technical Report)
Dhiman Chakraborty, Lucjan Hanzlik, Sven Bugiel
Trusted Platform Modules are valuable building blocks for security solutions and have also been recognized as beneficial for security on mobile platforms, like smartphones and tabl…
Review of Top Quark Physics
D. Chakraborty, J. Konigsberg, D. Rainwater
We present an overview of Top Quark Physics - from what has been learned so far at the Tevatron, to the searches that lie ahead at present and future colliders. We summarize the ri…