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

	Golden Gate Hotel & Casino Annual Activity “Win Loss” Request Form Gaming history requests are mailed to your address on file or can be sent electronically via e-mail. Please verify that we have your current mailing DocID: 1viPb - View Document
	By the Japanese Gate © 2002 Armchair Travel Co. Ltd. This page may be printed or saved to disk and used for non-commercial purposes ONLY! DocID: 1uPQy - View Document
	Access to Cheng Yu Tung Tower, Centennial Campus, HKU 1. If you are walking from the Main Campus or HKU West Gate, please take the Lower University Street (pink route) which starts from Level 4, Haking Wong Building (nu DocID: 1uxZN - View Document
	Bahrenfeld campus map By train: to Hamburg-Altona station, then continue by taxi (travelling time ~15min) or take a bus (see below). By bus: To reach the side gate (recommended), take bus line 2 (direction Schenefeld Mi DocID: 1uhqB - View Document
	Ft. Richardson Gate to DHS&EM Directions To DHS&EM from Ft. Richardson Main Gate Enter Ft. Richardson from the Glenn Highway. Follow the dotted line. After passing through the gate or leaving the Visitor Center, take th DocID: 1u9I8 - View Document