Sciweavers

ACSC
2016
IEEE
8 years 1 months ago
Finding state collisions in the authenticated encryption stream cipher ACORN
This paper analyzes the authenticated encryption algorithm ACORN, a candidate in the CAESAR cryptographic competition. We identify weaknesses in the state update function of ACORN ...
Md. Iftekhar Salam, Kenneth Koon-Ho Wong, Harry Ba...
ACSC
2016
IEEE
8 years 1 months ago
Symmetry declarations for MiniZinc
Abstract. Underlying symmetries in constraint satisfaction and optimization problems can make the search for solutions or optimal solutions much harder. In contrast, when symmetrie...
Nathaniel Baxter, Geoffrey Chu, Peter J. Stuckey
ACSC
2016
IEEE
8 years 1 months ago
Mining autograding data in computer science education
In this paper we present an analysis of the impact of instant feedback and autograding in computer science education,
Vincent Gramoli, Michael A. Charleston, Bryn Jeffr...
Theoretical Computer Science
Top of PageReset Settings