Search results for "Puzzles"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
125	Miao Ma	Mitigating Denial of Service Attacks with Password Puzzles.	ITCC (2)	2005	DBLP DOI BibTeX RDF
113	Martin Henz, Hoang-Minh Truong	SudokuSat-A Tool for Analyzing Difficult Sudoku Puzzles.	Tools and Applications with Artificial Intelligence	2009	DBLP DOI BibTeX RDF
113	Ran Canetti, Shai Halevi, Michael Steiner 0001	Hardness Amplification of Weakly Verifiable Puzzles.	TCC	2005	DBLP DOI BibTeX RDF
101	Wu-chi Feng, Edward C. Kaiser, A. Luu	Design and implementation of network puzzles.	INFOCOM	2005	DBLP DOI BibTeX RDF
94	Suratose Tritilanunt, Colin Boyd, Ernest Foo, Juan Manuel González Nieto	Toward Non-parallelizable Client Puzzles.	CANS	2007	DBLP DOI BibTeX RDF	Non-Parallelizable Cryptographic Puzzles, Client Puzzles, Denial of Service Attacks
89	Liqun Chen 0002, Paul Morrissey, Nigel P. Smart, Bogdan Warinschi	Security Notions and Generic Constructions for Client Puzzles.	ASIACRYPT	2009	DBLP DOI BibTeX RDF
85	Helmut Alt, Hans L. Bodlaender, Marc J. van Kreveld, Günter Rote, Gerard Tel	Wooden Geometric Puzzles: Design and Hardness Proofs.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Geometric puzzles, Complexity, Partition
82	Brent Waters, Ari Juels, J. Alex Halderman, Edward W. Felten	New client puzzle outsourcing techniques for DoS resistance.	CCS	2004	DBLP DOI BibTeX RDF	DoS, denial-of-service, client puzzles
73	Benedek Nagy, Gerard Allwein	Diagrams and Non-monotonicity in Puzzles.	Diagrams	2004	DBLP DOI BibTeX RDF	diagrammatic reasoning, Puzzles, non-monotonic reasoning
70	XiaoFeng Wang 0001, Michael K. Reiter	A multi-layer framework for puzzle-based denial-of-service defense.	Int. J. Inf. Sec.	2008	DBLP DOI BibTeX RDF	Denial of service, Network protocols, Client puzzles
64	Petri Ihantola, Ville Karavirta	Open source widget for parson's puzzles.	ITiCSE	2010	DBLP DOI BibTeX RDF	parsons problems, cs1, automatic assessment
64	Timo Mantere, Janne Koljonen	Solving, rating and generating Sudoku puzzles with GA.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
64	Helmut Alt, Hans L. Bodlaender, Marc J. van Kreveld, Günter Rote, Gerard Tel	Wooden Geometric Puzzles: Design and Hardness Proofs.	FUN	2007	DBLP DOI BibTeX RDF
64	SeungEun Cha, DaiYoung Kwon, Won-Gyu Lee	Using puzzles: problem-solving and abstraction.	SIGITE Conference	2007	DBLP DOI BibTeX RDF	teaching/learning strategy, abstraction, programming, generalization, problem-solving, novice, puzzle
64	Wu-chang Feng	The case for TCP/IP puzzles.	Comput. Commun. Rev.	2003	DBLP DOI BibTeX RDF
64	David Goldberg 0001, Christopher Malon, Marshall W. Bern	A global approach to automatic solution of jigsaw puzzles.	SCG	2002	DBLP DOI BibTeX RDF	fiducial points, shape matching, mesh smoothing
61	Rand Methfessel	Implementing an Access and Object Oriented Paradigm in a Language That Supports Neither.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF	C
61	Ivan Martinovic, Frank A. Zdarsky, Matthias Wilhelm 0001, Christian Wegmann, Jens B. Schmitt	Wireless client puzzles in IEEE 802.11 networks: security by wireless.	WISEC	2008	DBLP DOI BibTeX RDF	denial-of-service (DoS), wireless security, impersonation attacks, client puzzles
61	M. R. K. Krishna Rao	Storytelling and puzzles in a software engineering course.	SIGCSE	2006	DBLP DOI BibTeX RDF	active learning, storytelling, puzzles
61	Anany Levitin	Analyze that: puzzles and analysis of algorithms.	SIGCSE	2005	DBLP DOI BibTeX RDF	pedagogy, algorithm analysis, puzzles
52	Sujata Doshi, Fabian Monrose, Aviel D. Rubin	Efficient Memory Bound Puzzles Using Pattern Databases.	ACNS	2006	DBLP DOI BibTeX RDF
52	John Cigas, Wen-Jung Hsin	Teaching proofs and algorithms in discrete mathematics with online visual logic puzzles.	ACM J. Educ. Resour. Comput.	2005	DBLP DOI BibTeX RDF	education, Logic, proof
52	XiaoFeng Wang 0001, Michael K. Reiter	Mitigating bandwidth-exhaustion attacks using congestion puzzles.	CCS	2004	DBLP DOI BibTeX RDF	denial of service, client puzzle
52	John M. D. Hill, Clark K. Ray, Jean R. S. Blair, Curtis A. Carver Jr.	Puzzles and games: addressing different learning styles in teaching operating systems concepts.	SIGCSE	2003	DBLP DOI BibTeX RDF	classroom games, operating systems, learning styles
49	Gilles Brassard, Louis Salvail	Quantum Merkle Puzzles.	ICQNM	2008	DBLP DOI BibTeX RDF	Merkle Puzzles, Public Key Distribution, Quantum Cryptography
47	Thomas Gibson-Robinson, Philippa J. Hopcroft, Ranko Lazic 0001 (eds.)	Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday	Concurrency, Security, and Puzzles	2017	DBLP DOI BibTeX RDF
47	Carroll Morgan	A Demonic Lattice of Information.	Concurrency, Security, and Puzzles	2017	DBLP DOI BibTeX RDF
47	Ranko Lazic 0001, Patrick Totzke	What Makes Petri Nets Harder to Verify: Stack or Data?	Concurrency, Security, and Puzzles	2017	DBLP DOI BibTeX RDF
47	Michael W. Mislove	Discrete Random Variables Over Domains, Revisited.	Concurrency, Security, and Puzzles	2017	DBLP DOI BibTeX RDF
47	Peter Y. A. Ryan	A Brief History of Security Protocols.	Concurrency, Security, and Puzzles	2017	DBLP DOI BibTeX RDF
47	Antti Valmari	More Stubborn Set Methods for Process Algebras.	Concurrency, Security, and Puzzles	2017	DBLP DOI BibTeX RDF
47	Jay Yantchev, Atanas N. Parashkevov	Virtualization Based Development.	Concurrency, Security, and Puzzles	2017	DBLP DOI BibTeX RDF
47	Henri Hansen	Abstractions for Transition Systems with Applications to Stubborn Sets.	Concurrency, Security, and Puzzles	2017	DBLP DOI BibTeX RDF
47	Joshua D. Guttman	Information Flow, Distributed Systems, and Refinement, by Example.	Concurrency, Security, and Puzzles	2017	DBLP DOI BibTeX RDF
47	Gavin Lowe	Analysing Lock-Free Linearizable Datatypes Using CSP.	Concurrency, Security, and Puzzles	2017	DBLP DOI BibTeX RDF
47	Chris Chilton, Marta Z. Kwiatkowska, Faron Moller, Xu Wang 0001	A Specification Theory of Real-Time Processes.	Concurrency, Security, and Puzzles	2017	DBLP DOI BibTeX RDF
47	Jifeng He 0001, Qin Li 0002	A Hybrid Relational Modelling Language.	Concurrency, Security, and Puzzles	2017	DBLP DOI BibTeX RDF
47	Olga Chen, Catherine Meadows 0001, Gautam Trivedi	Stealthy Protocols: Metrics and Open Problems.	Concurrency, Security, and Puzzles	2017	DBLP DOI BibTeX RDF
47	Thomas Gibson-Robinson, Guy H. Broadfoot, Gustavo Carvalho, Philippa J. Hopcroft, Gavin Lowe, Sidney C. Nogueira, Colin O'Halloran, Augusto Sampaio	FDR: From Theory to Industrial Application.	Concurrency, Security, and Puzzles	2017	DBLP DOI BibTeX RDF
47	Rob J. van Glabbeek	A Branching Time Model of CSP.	Concurrency, Security, and Puzzles	2017	DBLP DOI BibTeX RDF
47	Simon Foster 0001, Jim Woodcock 0001	Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL.	Concurrency, Security, and Puzzles	2017	DBLP DOI BibTeX RDF
47	Nikolay V. Shilov 0002, Kwang Yi	Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers.	FM-Everywhere@FORTE/PSTV	2000	DBLP DOI BibTeX RDF
45	Theodore Diament, Homin K. Lee, Angelos D. Keromytis, Moti Yung	The dual receiver cryptosystem and its applications.	CCS	2004	DBLP DOI BibTeX RDF	useful secure computation, digital signature, elliptic curves, public key, key escrow, puzzles, pairing-based cryptography
45	Clifford A. Pickover	A note on visualizing the Omega Prism.	Vis. Comput.	1996	DBLP DOI BibTeX RDF	Smooth numbers, Visualization, Perception, Lattices, Factorization, Puzzles
40	Yuji Sato, Hazuki Inoue	Genetic operations to solve sudoku puzzles.	GECCO (Companion)	2010	DBLP DOI BibTeX RDF	genetic algorithms, building blocks, genetic operation, sudoku
40	Erik D. Demaine	Algorithms Meet Art, Puzzles, and Magic.	ESA	2009	DBLP DOI BibTeX RDF
40	Michael K. Reiter, Vyas Sekar, Chad Spensky, Zhenghao Zhang	Making Peer-Assisted Content Distribution Robust to Collusion Using Bandwidth Puzzles.	ICISS	2009	DBLP DOI BibTeX RDF
40	Erik D. Demaine	Algorithms Meet Art, Puzzles, and Magic.	WADS	2009	DBLP DOI BibTeX RDF
40	Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carles Mateu	Edge Matching Puzzles as Hard SAT/CSP Benchmarks.	CP	2008	DBLP DOI BibTeX RDF
40	Gregory R. Wheeler	Two Puzzles Concerning Measures of Uncertainty and the Positive Boolean Connectives.	EPIA Workshops	2007	DBLP DOI BibTeX RDF
40	Robert R. Snapp	A Puzzles-First approach to computer science.	ITiCSE	2006	DBLP DOI BibTeX RDF
40	Wayne Wobcke	An Analysis of Three Puzzles in the Logic of Intention.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF
40	Anany Levitin, Mary-Angela Papalaskari	Using puzzles in teaching algorithms.	SIGCSE	2002	DBLP DOI BibTeX RDF
37	Yevgeniy Dodis, Russell Impagliazzo, Ragesh Jaiswal, Valentine Kabanets	Security Amplification for InteractiveCryptographic Primitives.	TCC	2009	DBLP DOI BibTeX RDF
37	Asma Cherif 0001, Abdessamad Imine	Undo-Based Access Control for Distributed Collaborative Editors.	CDVE	2009	DBLP DOI BibTeX RDF	Selective Undo, Access Control, Operational Transformation, Collaborative Editors
37	Patrick P. Tsang, Sean W. Smith	Combating Spam and Denial-of-Service Attacks with Trusted Puzzle Solvers.	ISPEC	2008	DBLP DOI BibTeX RDF
37	Mohammad Hassan Shirali-Shahreza, Mohammad Shirali-Shahreza	Steganography in SMS by Sudoku puzzle.	AICCSA	2008	DBLP DOI BibTeX RDF
37	Teng-Wen Chang, Yuan-Bang Cheng	Implementing an Interactive Collage Table System with Design Puzzle Exploration.	HCI (2)	2007	DBLP DOI BibTeX RDF	interactive collage table, design collage, multi-touch and sketch, design puzzle, design exploration
37	Ran Canetti, Shai Halevi, Michael Steiner 0001	Mitigating Dictionary Attacks on Password-Protected Local Storage.	CRYPTO	2006	DBLP DOI BibTeX RDF
37	Jiazhi Ou, Lui Min Oh, Susan R. Fussell, Tal Blum, Jie Yang 0001	Analyzing and predicting focus of attention in remote collaborative tasks.	ICMI	2005	DBLP DOI BibTeX RDF	remote collaborative tasks, computer-supported cooperative work, eye tracking, focus of attention, keyword spotting
37	Robert A. Hearn, Erik D. Demaine	The Nondeterministic Constraint Logic Model of Computation: Reductions and Applications.	ICALP	2002	DBLP DOI BibTeX RDF
37	Suriadi Suriadi, Douglas Stebila, Andrew J. Clark, Hua Liu	Defending Web Services against Denial of Service Attacks Using Client Puzzles.	ICWS	2011	DBLP DOI BibTeX RDF	web services, client puzzles, denial of service attacks
37	Ronen Gradwohl, Moni Naor, Benny Pinkas, Guy N. Rothblum	Cryptographic and Physical Zero-Knowledge Proof Systems for Solutions of Sudoku Puzzles.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Cryptography, Zero-knowledge proofs, Puzzles
37	Rhyd Lewis	Metaheuristics can solve sudoku puzzles.	J. Heuristics	2007	DBLP DOI BibTeX RDF	Metaheuristics, Phase-transition, Puzzles, Sudoku
37	Kevin J. Austin	Puzzles (poster session): a tool for teaching knowledge based systems.	ACSE	2000	DBLP DOI BibTeX RDF	learning, knowledge based systems, interactive learning, puzzles
33	Richard E. Korf	Linear-time disk-based implicit graph search.	J. ACM	2008	DBLP DOI BibTeX RDF	Rubik's Cube, magnetic disk storage, permutation encodings, sliding-tile puzzles, External memory, Towers of Hanoi
33	Zhen Lesley Xie, Alissa Nicole Antle, Nima Motamedi	Are tangibles more fun?: comparing children's enjoyment and engagement using physical, graphical and tangible user interfaces.	TEI	2008	DBLP DOI BibTeX RDF	interface style, children, tangible user interfaces, engagement, play, enjoyment, puzzles
33	Francis Sullivan	Born to Compute.	Comput. Sci. Eng.	2006	DBLP DOI BibTeX RDF	puzzles, Sudoku
33	Claude Castelluccia, Einar Mykletun, Gene Tsudik	Improving secure server performance by re-balancing SSL/TLS handshakes.	AsiaCCS	2006	DBLP DOI BibTeX RDF	server-aided RSA, server-aided secure computation, load-balancing, denial-of-service, hardware accelerators, client puzzles
33	Richard E. Korf, Weixiong Zhang, Ignacio Thayer, Heath Hohwald	Frontier search.	J. ACM	2005	DBLP DOI BibTeX RDF	bidirectional search, sliding-tile puzzles, heuristic search, sequence alignment, Dijkstra's algorithm, breadth-first search, best-first search, A* algorithm, Towers of Hanoi
33	Ron Wakkary, Marek Hatala, Robb Lovell, Milena Droumeva	An ambient intelligence platform for physical play.	ACM Multimedia	2005	DBLP DOI BibTeX RDF	sound ecology, user model, motion capture, ambient intelligence, embodied, auditory display, puzzles, responsive environment, physical play
31	Marie-Morgane Paumard	Solving Jigsaw Puzzles with Deep Learning for Heritage. (Résolution automatique de puzzles par apprentissage profond).		2020	RDF
31	Ghous Amjad, Muhammad Shujaat Mirza, Christina Pöpper	Forgetting with Puzzles: Using Cryptographic Puzzles to support Digital Forgetting.	CODASPY	2018	DBLP DOI BibTeX RDF
31	Roderick Lottering, Robert Hans, Manoj Lall	The Impact of Crossword Puzzles on Students' Performance: Does Pre-exposure to Puzzles Matter?	TALE	2018	DBLP DOI BibTeX RDF
31	Michael Brand	No easy puzzles: Hardness results for jigsaw puzzles.	Theor. Comput. Sci.	2015	DBLP DOI BibTeX RDF
31	Michael Brand	No Easy Puzzles: A Hardness Result for Jigsaw Puzzles.	FUN	2014	DBLP DOI BibTeX RDF
31	Yves Igor Jerschow, Martin Mauve	Modular square root puzzles: Design of non-parallelizable and non-interactive client puzzles.	Comput. Secur.	2013	DBLP DOI BibTeX RDF
31	Chao Yang 0003	Sliding puzzles and rotating puzzles on graphs.	Discret. Math.	2011	DBLP DOI BibTeX RDF
31	Hiroshi Higashida	Machine-Made Puzzles and Hand-Made Puzzles.	ECS	2010	DBLP DOI BibTeX RDF
28	Rui Zhang 0002, Goichiro Hanaoka, Hideki Imai	A generic construction of useful client puzzles.	AsiaCCS	2009	DBLP DOI BibTeX RDF	identity based KEM, security notions, useful client puzzle
28	Emilio G. Ortíz-García, Sancho Salcedo-Sanz, Ángel M. Pérez-Bellido, Antonio Portilla-Figueras, Xin Yao 0001	Solving Very Difficult Japanese Puzzles with a Hybrid Evolutionary-Logic Algorithm.	SEAL	2008	DBLP DOI BibTeX RDF
28	Takenori Murakami, Fubito Toyama, Kenji Shoji, Juichi Miyamichi	Assembly of puzzles by connecting between blocks.	ICPR	2008	DBLP DOI BibTeX RDF
28	Dennis E. Shasha	Biocomputational puzzles: data, algorithms, and visualization.	EDBT	2008	DBLP DOI BibTeX RDF
28	Patrick Schaller, Srdjan Capkun, David A. Basin	BAP: Broadcast Authentication Using Cryptographic Puzzles.	ACNS	2007	DBLP DOI BibTeX RDF
28	Erik D. Demaine, Martin L. Demaine	Puzzles, Art, and Magic with Algorithms.	Theory Comput. Syst.	2006	DBLP DOI BibTeX RDF
28	Mahmut Samil Sagiroglu, Aytül Erçil	A Texture Based Matching Approach for Automated Assembly of Puzzles.	ICPR (3)	2006	DBLP DOI BibTeX RDF
28	Nikita Borisov	Computational Puzzles as Sybil Defenses.	Peer-to-Peer Computing	2006	DBLP DOI BibTeX RDF
28	Spyridon Revithis, William H. Wilson, Nadine Marcus	IPSOM: A Self-organizing Map Spatial Model of How Humans Complete Interlocking Puzzles.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF	Cognitive Modeling of Human Behaviour, Self-Organizing Map, Kohonen Map, Neural Network Applications
28	Michael Makridis, Nikos Papamarkos, Christodoulos Chamzas	An Innovative Algorithm for Solving Jigsaw Puzzles Using Geometrical and Color Features.	CIARP	2005	DBLP DOI BibTeX RDF
28	Erik D. Demaine	Puzzles, Art, and Magic with Algorithms.	ISAAC	2004	DBLP DOI BibTeX RDF
28	Geraint Price	A General Attack Model on Hash-Based Client Puzzles.	IMACC	2003	DBLP DOI BibTeX RDF
28	Péter Szeredi	Teaching Constraints through Logic Puzzles.	CSCLP	2003	DBLP DOI BibTeX RDF
28	John Minor Ross	Guiding students through programming puzzles: value and examples of Java game assignments.	ACM SIGCSE Bull.	2002	DBLP DOI BibTeX RDF
28	Fubito Toyama, Yukihiro Fujiki, Kenji Shoji, Juichi Miyamichi	Assembly of Puzzles Using a Genetic Algorithm.	ICPR (4)	2002	DBLP DOI BibTeX RDF
28	Lee Richard Bulmer, Peter M. Dew	A study of collaboration using jigsaw puzzles.	CVE	2002	DBLP DOI BibTeX RDF	collaborative jigsaws, modeling collaborative situations, collaboration
28	Bruce Christianson, David Wheeler	Merkle Puzzles Revisited - Finding Matching Elements Between Lists.	Security Protocols Workshop	2001	DBLP DOI BibTeX RDF
28	Jozef Gruska, Hiroshi Imai	Power, Puzzles and Properties of Entanglement.	MCU	2001	DBLP DOI BibTeX RDF
28	Tuomas Aura, Pekka Nikander, Jussipekka Leiwo	DOS-Resistant Authentication with Client Puzzles.	Security Protocols Workshop	2000	DBLP DOI BibTeX RDF
28	Raymond M. Smullyan	Puzzles and Paradoxes (Abstract).	CADE	1992	DBLP DOI BibTeX RDF
24	Jian Wang, Chunjiang Zhao 0001, Fang-qu Niu, Zhiqiang Wang	Overcoming Geoinformatic Knowledge Fence: An Exploratory of Intelligent Geospatial Data Preparation within Spatial Analysis.	ICCS (2)	2009	DBLP DOI BibTeX RDF	geo-ontology, geo-services, geography information metadata, spatial reasoning, spatial decision support