Accurate malware detection by extreme abstraction
- Fady Copty
- Cindy Eisner
- et al.
- 2018
- ACSAC 2018
Publications
Date
Featured collections
Popular topics
16 results for Cindy Eisner
Resurrecting infeasible clock-gating functions
- Eli Arbel
- Cindy Eisner
- et al.
- 2009
- DAC 2009
Methodology for formal design of hardware control with application to cache coherence protocols
- Cindy Eisner
- Irit Shitsevalov
- et al.
- 2000
- DAC 2000
RuleBase: An industry-oriented formal verification tool
- Ilan Beer
- Shoham Ben-David
- et al.
- 1996
- DAC 1996
Augmenting a regular expression-based temporal logic with local variables
- Cindy Eisner
- Dana Fisman
- 2008
- FMCAD 2008
Policy validation for system automation: A case study
- Emmanuel Zarpas
- Cindy Eisner
- et al.
- 2008
- POLICY 2008
A topological characterization of weakness
- Cindy Eisner
- Dana Fisman
- et al.
- 2005
- PODC 2005
Establishing PCI compliance using formal verification: A case study
- Ilan Beer
- Shoham Ben-David
- et al.
- 1995
- Phoenix IPCCC 1995
Model checking the garbage collection mechanism of SMV
- Cindy Eisner
- 2001
- Electronic Notes in Theoretical Computer Science
Safety and liveness, weakness and strength, and the underlying topological relations
- Cindy Eisner
- Dana Fisman
- et al.
- 2014
- ACM TOCL