Nishant Sinha

Available identifiers

Publication	Date of Publication	Type
Certain Observations on ACORN v3 and the Implications to TMDTO Attacks	2022-12-09	Paper
Internal state recovery of espresso stream cipher using conditional sampling resistance and TMDTO attack	2021-05-12	Paper
Generalized nonlinearity of $S$-boxes	2018-09-21	Paper
A TMDTO Attack Against Lizard	2018-09-14	Paper
Quantum Algorithms Related to $$\textit{HN}$$ -Transforms of Boolean Functions	2017-06-01	Paper
On interference abstractions	2014-04-10	Paper
https://portal.mardi4nfdi.de/entity/Q2845503	2013-08-30	Paper
Integrated Formal Methods	2009-05-07	Paper
Verification of evolving software via component substitutability analysis	2008-07-30	Paper
SAT-Based Compositional Verification Using Lazy Learning	2007-11-29	Paper
Program Compatibility Approaches	2007-09-11	Paper
Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions	2007-09-05	Paper
Concurrent software verification with states, events, and deadlocks	2006-10-25	Paper
Computer Aided Verification	2006-01-10	Paper
FM 2005: Formal Methods	2006-01-10	Paper
Computer Aided Verification	2005-08-25	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Nishant Sinha