The following pages link to Nishant Sinha (Q934711):
Displayed 16 items.
- Verification of evolving software via component substitutability analysis (Q934712) (← links)
- Generalized nonlinearity of \(S\)-boxes (Q1783710) (← links)
- Internal state recovery of espresso stream cipher using conditional sampling resistance and TMDTO attack (Q2025386) (← links)
- Concurrent software verification with states, events, and deadlocks (Q2432214) (← links)
- (Q2845503) (← links)
- Program Compatibility Approaches (Q3591398) (← links)
- Certain Observations on ACORN v3 and the Implications to TMDTO Attacks (Q5055973) (← links)
- Computer Aided Verification (Q5312895) (← links)
- A TMDTO Attack Against Lizard (Q5375287) (← links)
- On interference abstractions (Q5408561) (← links)
- SAT-Based Compositional Verification Using Lazy Learning (Q5429315) (← links)
- Computer Aided Verification (Q5716595) (← links)
- FM 2005: Formal Methods (Q5716900) (← links)
- Quantum Algorithms Related to $$\textit{HN}$$ -Transforms of Boolean Functions (Q5739043) (← links)
- Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions (Q5756735) (← links)
- Integrated Formal Methods (Q5901610) (← links)