Balancing WDDL dual-rail logic in a tree-based FPGA to enhance physical security.
Emna AmouriShivam BhasinYves MathieuTarik GrabaJean-Luc DangerHabib MehrezPublished in: FPL (2014)
Keyphrases
- high speed
- information security
- security issues
- security threats
- real time image processing
- access control
- logic programming
- security requirements
- security systems
- modal logic
- field programmable gate array
- key management
- real world
- cyber physical systems
- cyber security
- logical framework
- security policies
- signal processing
- low cost
- physical world
- hardware implementation
- single chip
- distributed systems
- fpga implementation
- real time
- proof theory