Logic locking “hides” the functionality of a digital circuit to protect it from counterfeiting,
piracy, and malicious design modifications. The original design is transformed into a …

Real-life programs contain multiple operations whose semantics are unavailable to
verification engines, like third-party library calls, inline assembly and SIMD instructions …

Attribute grammars allow the association of semantic actions to the production rules in
context-free grammars, providing a simple yet effective formalism to define the semantics of …

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 …

Logic locking was designed to be a formidable barrier to IP piracy: given a logic design,
logic locking modifies the logic design such that the circuit operates correctly only if operated …

We present Wolverine2, an integrated Debug-Localize-Repair environment for heap
manipulating programs. Wolverine2 provides an interactive debugging environment: while …

Parsers are omnipresent in almost all software systems. However, an operational
implementation of parsers cannot answer many “how”,“why” and “what if” questions, why …

The semantics of programming languages is one of the core topics in computer science.
This topic is formalism-heavy and requires the student to attempt numerous proofs for a …

Attribute grammars allow the association of semantic actions to the production rules in
context-free grammars, providing a simple yet effective formalism to define the semantics of …

The prime objective of the proposed study is to determine the induction of Greibach Normal
Form (GNF) in Arithmetic Expression Grammars to improve the processing speed of …