Publication | Closed Access

Balanced self-checking asynchronous logic for smart card applications

Hardware SecurityEngineeringVerificationComputer ArchitectureComputer EngineeringFormal MethodsBuilt-in Self-testComputer-aided VerificationComputer ScienceFormal VerificationSelf-stabilizationSmart Card ApplicationsAsynchronous Circuits