Optimizing S-box Implementations for Several Criteria using SAT Solvers Ko Stoffelen Radboud University, Digital Security, Nijmegen, The Netherlands

First Page		Document Content
Date: 2018-02-09 07:40:06 Logic gates Theoretical computer science Boolean satisfiability problem XOR gate XNOR gate AND gate Data Encryption Standard OR gate Block cipher Mathematical optimization Circuit		Optimizing S-box Implementations for Several Criteria using SAT Solvers Ko Stoffelen Radboud University, Digital Security, Nijmegen, The Netherlands Add to Reading List Source URL: ko.stoffelen.nl Download Document from Source Website File Size: 365,04 KB Share Document on Facebook

	Digital Circuits Logic Gates NOT gate (Inverter) The output Q is true when the input A is NOT true, the output is the inverse of the input: Q = NOT A A NOT gate can only have one input. A NOT gate is also called an inver DocID: 1uFik - View Document
	ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal DocID: 1rdnH - View Document
	CS61c: Representations of Combinational Logic Circuits J. Wawrzynek October 12, 2007 1 DocID: 1r4rE - View Document
	ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal DocID: 1qZgd - View Document
	Efficient Metastability-Containing Gray Code 2-Sort Christoph Lenzen∗ ∗ Max Moti Medina∗ DocID: 1qXQE - View Document