josephholsten's Top Recommendations

These recommendations were last updated 57 minutes ago.

	Generalised Folds for Nested Datatypes [My Copy] Formal Aspects of Computing, Vol. 11, No. 2. (1999), pp. 200-222. by Richard Bird, Ross Paterson posted by 1 person maggesi
	Modelling security properties with CSP [My Copy] No. CSD-TR-96-04. (1996) by Steve Schneider posted by 1 person maggesi
	Using CSP for protocol analysis: the Needham-Schroeder Public Key Protocol [My Copy] (1996) by S. Schneider posted by 1 person maggesi
	Verifying Authentication Protocols with CSP [My Copy] In PCSFW: Proceedings of The 10th Computer Security Foundations Workshop (1997) by Schneider posted by 1 person maggesi
	Sensus: A security-conscious electronic polling system for the Internet [My Copy] (1997) by L. Cranor, R. Cytron posted by 1 person maggesi
	REVS - A Robust Electronic Voting System [My Copy] In Proceedings of IADIS International Conference e-Society 2003 (2003), pp. 95 - 103. by Rui Joaquim, Andre Zuquete, Paulo Ferreira posted by 1 person maggesi
	E-Voting Without `Cryptography' [My Copy] by Dahlia Malkhi, Ofer Margo, Elan Pavlov posted by 1 person maggesi
	Internet Voting: Improving Resistance to Malicious Servers in REVS [My Copy] by Ricardo Lebre, Andre Zuquete, Rui Joaquim, Paulo Ferreira posted by 1 person maggesi
	Sharing Decryption in the Context of Voting or Lotteries [My Copy] Lecture Notes in Computer Science, Vol. 1962 (2001), pp. 90-??. by Pierre A. Fouque, Guillaume Poupard, Jacques Stern posted by 1 person maggesi
	Towards a Readable Formalisation of Category Theory [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of Computing: The Australasian Theory Symposium (CATS) 2004, Vol. 91 (16 February 2004), pp. 212-228. by Greg O'Keefe posted by 3 people prahlad spl maggesi
	Programming Techniques: Regular expression search algorithm [My Copy] Commun. ACM, Vol. 11, No. 6. (June 1968), pp. 419-422. by Ken Thompson posted by 3 people SamB mitake maggesi
	Finite Field Experiments (with an Appendix by Stefan Wiedmann) [My Copy] (23 Oct 2007) by Hans-Christian posted by 1 person maggesi
	Decision Procedure for Indefinite Hypergeometric Summation [My Copy] Proceedings of the National Academy of Sciences, Vol. 75, No. 1. (1 January 1978), pp. 40-42. by William R. Gosper posted by 1 person maggesi
	Computational Lambda-Calculus and Monads [My Copy] In Proceedings 4th Annual IEEE Symp.\ on Logic in Computer Science, {LICS}'89, Pacific Grove, {CA}, {USA}, 5--8 June 1989 (1989), pp. 14-23. by Eugenio Moggi posted by 1 person maggesi
	Modules over Monads and Linearity [My Copy] (7 May 2007) by André Hirschowitz, Marco Maggesi posted by 2 people jrw mstone
	Sets in Types, Types in Sets [My Copy] by Benjamin Werner posted by 5 people xiemaisi AS-IIS_ReadingGroup maggesi pedagand Lambda the Ultimate
	Security Properties and CSP [My Copy] In Proceedings of the 1996 IEEE Symposium on Security and Privacy (1996), pp. 174-187. by Steve Schneider posted by 3 people gabor NDS maggesi
	Covariance and contravariance: conflict without a cause [My Copy] (1995) by G. Castagna posted by 2 people bunge maggesi
	Breaking and fixing the Needham-Schroeder public-key protocol using FDR [My Copy] In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Vol. 1055 (1996), pp. 147-166. by Gavin Lowe posted by 3 people blackwelll oliverhci maggesi
	Another look at HMQV [My Copy] (29 Jun 2005) by Alfred Menezes posted by 1 person elegiac
	Another Look at Automated Theorem-Proving [My Copy] (17 Oct 2007) by Neal Koblitz posted by 1 person elegiac
	Another Look at Generic Groups [My Copy] (5 Jul 2006) by Neal Koblitz, Alfred Menezes posted by 1 person elegiac
	Another Look at "Provable Security". II [My Copy] (3 Jul 2006) by Neal Koblitz, Alfred Menezes posted by 1 person elegiac
	Another Look at “Provable Security” [My Copy] (4 Jul 2004) by Neal Koblitz, Alfred Menezes posted by 1 person elegiac
	On the Security of Multiple Encryption or CCA-security+CCA-security=CCA-security? [My Copy] (31 Aug 2003) by Rui Zhang, Goichiro Hanaoka, Junji Shikata, Hideki Imai posted by 1 person elegiac
	Electromagnetic Radiation from Video Display Units: An Eavesdropping Risk [My Copy] (1985) by Wim van Eck posted by 1 person elegiac
	The First Two Rounds of MD4 are Not One-Way [My Copy] Lecture Notes in Computer Science, Vol. 1372 (1998), pp. 284-??. by Hans Dobbertin posted by 1 person elegiac
	On the Need for Multipermutations: Cryptanalysis of MD4 and SAFER [My Copy] In Fast Software Encryption (1994), pp. 286-297. by Serge Vaudenay posted by 1 person elegiac
	Near collisions of SHA [My Copy] (2004) by E. Biham, R. Chen posted by 1 person elegiac
	Authentication and Authenticated Key Exchanges [My Copy] Designs, Codes and Cryptography, Vol. 2, No. 2. (1992), pp. 107-125. by Whitfield Diffie, Paul C. van Oorschot, Michael J. Wiener posted by 3 people duyguk elegiac TPTPTP
	Cryptanalysis of an Efficient Diffie-Hellman Key Agreement Protocol Based on Elliptic Curves [My Copy] (26 Jan 2007) by Shengbao Wang, Zhenfu Cao, Maurizio A. Strangio, Lihua Wang posted by 1 person elegiac
	Authenticated Diffie--Hellman Key Agreement Protocols [My Copy] In Selected Areas in Cryptography (1998), pp. 339-361. by Simon B. Wilson, Alfred Menezes posted by 1 person elegiac
	Message Authentication with One-Way Hash Functions [My Copy] In ACM Computer Communications Review, Vol. 22 (1992), pp. 29-38. by Gene Tsudik posted by 1 person nabeelah
	Keying hash functions for message authentication [My Copy] Vol. 1109 (1996), pp. 1-15. by Mihir Bellare, Ran Canetti, Hugo Krawczyk posted by 1 person nabeelah
	Security defects in CCITT recommendation X.509: the directory authentication framework [My Copy] SIGCOMM Comput. Commun. Rev., Vol. 20, No. 2. (1990), pp. 30-34. by Collin I'Anson, Chris Mitchell posted by 1 person nabeelah
	Use of elliptic curves in cryptography [My Copy] In Lecture notes in computer sciences; 218 on Advances in cryptology---CRYPTO 85 (1986), pp. 417-426. by Victor S. Miller posted by 1 person nabeelah
	How to expose an eavesdropper [My Copy] Commun. ACM, Vol. 27, No. 4. (1984), pp. 393-394. by Ronald L. Rivest, Adi Shamir posted by 1 person nabeelah
	A public key cryptosystem and a signature scheme based on discrete logarithms [My Copy] In Proceedings of CRYPTO 84 on Advances in cryptology (1985), pp. 10-18. by Taher E. Gamal posted by 1 person nabeelah
	Why cryptosystems fail [My Copy] Commun. ACM, Vol. 37, No. 11. (1994), pp. 32-40. by Ross J. Anderson posted by 1 person nabeelah
	Secure communications over insecure channels [My Copy] Commun. ACM, Vol. 21, No. 4. (1978), pp. 294-299. by Ralph C. Merkle posted by 1 person nabeelah
	New Directions in Cryptography [My Copy] (1976) by Whitfield Diffie, Martin E. Hellman posted by 1 person nabeelah
	Introduction [My Copy] pp. 67-76. posted by 1 person nabeelah
	Understanding PKI: Concepts, Standards, and Deployment Considerations (2nd Edition) [My Copy] (16 November 2002) by Carlisle Adams, Steve Lloyd posted by 1 person nabeelah
	Java Testing Patterns [My Copy] (01 October 2004) by Jon Thomas, Matthew Young, Kyle Brown, Andrew Glover posted by 1 person nabeelah
	Cryptography for Internet & Database Applications [My Copy] (15 July 2002) by Nick Galbreath, Nicholas Galbreath posted by 1 person nabeelah
	Authentication: From Passwords to Public Keys [My Copy] (11 October 2001) by Richard E. Smith posted by 1 person nabeelah
	Cryptography and Public Key Infrastructure on the Internet [My Copy] (16 June 2003) by Klaus Schmeh posted by 1 person nabeelah
	Computer Security: Art and Science [My Copy] (12 December 2002) by Matt Bishop posted by 1 person nabeelah
	Security Architecture: Design, Deployment and Operations [My Copy] (30 July 2001) by Christopher King, Ertem Osmanoglu, Curtis Dalton posted by 1 person nabeelah
	Internet Cryptography [My Copy] (01 August 1997) by Richard E. Smith posted by 1 person nabeelah
	Digital Certificates: Applied Internet Security [My Copy] (09 October 1998) by Jalal Feghhi, Peter Williams posted by 1 person nabeelah
	Practical Cryptography [My Copy] (28 March 2003) by Niels Ferguson, Bruce Schneier posted by 1 person nabeelah
	Maze Solving Algorithms for Micro Mouse [My Copy] Signal Image Technology and Internet Based Systems, 2008. SITIS '08. IEEE International Conference on In Signal Image Technology and Internet Based Systems, 2008. SITIS '08. IEEE International Conference on (2008), pp. 86-93. by S. Mishra, P. Bande posted by 1 person nabeelah
	A new method of infrared sensor measurement for micromouse control [My Copy] Audio, Language and Image Processing, 2008. ICALIP 2008. International Conference on In Audio, Language and Image Processing, 2008. ICALIP 2008. International Conference on (2008), pp. 784-787. by Duyao Wang, Xiaoqing Yu, Wanggen Wan, Hongfu Xu posted by 1 person nabeelah
	Cognitive Models of Spatial Navigation from a Robot Builder's Perspective [My Copy] Adaptive Behavior, Vol. 6, No. 3-4. (1 January 1998), pp. 509-534. by Gordon Wyeth, Brett Browning posted by 1 person nabeelah
	Java Concurrency in Practice [My Copy] (19 May 2006) by Brian Goetz, Tim Peierls, Joshua Bloch, Joseph Bowbeer, David Holmes, Doug Lea posted by 4 people eddymier nabeelah martinrytter fmc
	A method for obtaining digital signatures and public-key cryptosystems [My Copy] Commun. ACM, Vol. 21, No. 2. (1 February 1978), pp. 120-126. by R. L. Rivest, A. Shamir, L. Adleman posted by 7 people nabeelah brothers eswar_physics danielaugot chiunostra ismailfatih edm92
	Secrets and Lies: Digital Security in a Networked World [My Copy] (30 January 2004) by Bruce Schneier posted by 5 people isp nabeelah redhotataxia thomasmuh thonnardo
	Why cryptosystems fail [My Copy] In CCS '93: Proceedings of the 1st ACM conference on Computer and communications security (1993), pp. 215-227. by Ross Anderson posted by 8 people nabeelah kindledx rwash ecronin bleadof Information technology, University of Jyväskylä Secure programming Security
	A distributed trust model [My Copy] In NSPW '97: Proceedings of the 1997 workshop on New security paradigms (1997), pp. 48-60. by Alfarez A. Rahman, Stephen Hailes posted by 10 people nabeelah phauly farez devzero mathijs JmSeigneur chadhogg kingsunshine SRA_at_IRST tomas_and_mathijs
	Foundations for Microwave Engineering [My Copy] (22 December 2000) by Robert E. Collin posted by 2 people bruno marciolima
	Criptografia: Segredos Embalados para Viagem [My Copy] posted by 1 person marciolima
	Data compression [My Copy] ACM Comput. Surv., Vol. 19, No. 3. (September 1987), pp. 261-296. by Debra A. Lelewer, Daniel S. Hirschberg posted by 1 person marciolima
	Data Compression: The Complete Reference [My Copy] (19 December 2006) by David Salomon posted by 3 people navneetctae susan611 marciolima
	Data Compression: Methods and Theory [My Copy] by James A. Storer posted by 1 person marciolima
	Ziv-Lempel encoding with multi-bit flags [My Copy] Data Compression Conference, 1993. DCC '93. (1993), pp. 138-147. by P. M. Fenwick posted by 1 person marciolima
	Compression of Individual Sequences via Variable-Rate Coding [My Copy] IEEE Transactions on Information Theory, Vol. 24, No. 5. (1978), pp. 530-536. by Jacob Ziv, Abraham Lempel posted by 4 people kistijantoro marciolima michaelmampaey ADMiRes
	Synchronization of codes by means of Kautz's Fibonacci encoding [My Copy] Information Theory, IEEE Transactions on, Vol. 18, No. 2. (1972), pp. 281-285. by D. Mandelbaum posted by 1 person marciolima
	Universal codeword sets and representations of the integers [My Copy] Information Theory, IEEE Transactions on, Vol. 21, No. 2. (1975), pp. 194-203. by P. Elias posted by 3 people frdr kistijantoro marciolima
	Data Compression : The Complete Reference [My Copy] (26 February 2004) by David Salomon posted by 1 person marciolima
	Text Compression (Prentice Hall Advanced Reference Series) [My Copy] (16 January 1990) by Timothy C. Bell, John G. Cleary, Ian H. Witten posted by 4 people marciolima michaelmampaey runson ADMiRes
	Robust transmission of unbounded strings using Fibonacci representations [My Copy] Information Theory, IEEE Transactions on, Vol. 33, No. 2. (1987), pp. 238-245. by A. Apostolico, A. Fraenkel posted by 1 person marciolima
	Lossless Compression Handbook (Communications, Networking and Multimedia) (Communications, Networking and Multimedia) [My Copy] (15 August 2002) by Khalid Sayood posted by 1 person marciolima
	Run-length encodings (Corresp.) [My Copy] Information Theory, IEEE Transactions on, Vol. 12, No. 3. (1966), pp. 399-401. by S. Golomb posted by 2 people marciolima danielaugot
	On the encipherment of search trees and random access files [My Copy] ACM Trans. Database Syst., Vol. 1, No. 1. (March 1976), pp. 37-52. by R. Bayer, J. K. Metzger posted by 1 person marciolima
	Biography of physics (Harper Torchbooks: the science library, TB 567) [My Copy] by George Gamow posted by 1 person marciolima
	An Introduction to Statistical Communication Theory [My Copy] (24 April 1996) by David Middleton posted by 1 person marciolima
	Network Security: Private Communication in a Public World, Second Edition [My Copy] (15 April 2002) by Charlie Kaufman, Radia Perlman, Mike Speciner posted by 2 people marciolima Baomat
	Information Theory and Reliable Communication [My Copy] (01 January 1968) by Robert G. Gallager posted by 3 people marciolima ciga Computational_Information_Geometry
	Veloz, Maggiolo, Marcio. El hombre del acordeón.(Reseña de libro) : An article from: Chasqui [My Copy] by Ana Mercedes posted by 3 people marciolima Borelli quianominorleo
	Introduction to Statistical Communication Theory [My Copy] by John B. Thomas posted by 1 person marciolima
	Cipher Systems: The Protection of Communications [My Copy] by Henry Beker posted by 1 person marciolima
	New directions in cryptography [My Copy] Information Theory, IEEE Transactions on, Vol. 22, No. 6. (06 January 2003), pp. 644-654. by W. Diffie, M. Hellman posted by 5 people sandeepsiv marciolima muraken TPTPTP edm92
	Network security: it's time to take it seriously [My Copy] Computer, Vol. 31, No. 9. (1998), pp. 24-28. by P. W. Dowd, J. T. Mchenry posted by 1 person marciolima
	Cryptography: An Introduction to Computer Security (Advances in Computer Science Series) [My Copy] (01 October 1988) by Jennifer Seberry, Josef Pieprzyk posted by 1 person marciolima
	Cryptography and Data Security [My Copy] by Dorothy posted by 1 person marciolima
	Segurança de Dados: Criptografia em Redes de Computadores [My Copy] by Routo Terada posted by 1 person marciolima
	Security for Computer Networks: An Introduction to Data Security in Teleprocessing and Electronic Funds Transfer (Wiley Series in Communication and) [My Copy] (27 September 1989) by D. W. Davies, W. L. Price posted by 1 person marciolima
	Elements of Algebra and Algebraic Computing [My Copy] (01 January 1981) by John D. Lipson posted by 1 person marciolima
	Computer Networks (4th Edition) [My Copy] (19 August 2002) by Andrew S. Tanenbaum posted by 7 people simon_o redhotataxia marciolima Harold324 adriancooke gixgax jasmithoffice
	Brute Force : Cracking the Data Encryption Standard [My Copy] (16 February 2005) by Matt Curtin posted by 1 person marciolima
	Quantum communications [My Copy] Quantum Electronics and Laser Science Conference, 2001. QELS '01. Technical Digest. Summaries of Papers Presented at the (2001), 171. by J. D. Franson posted by 1 person marciolima
	Cryptography: Theory and Practice (Discrete Mathematics and Its Applications) [My Copy] (01 March 1995) by Douglas R. Stinson posted by 1 person marciolima
	Introduction to Automata Theory, Languages, and Computation (2nd Edition) [My Copy] (14 November 2000) by John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman posted by 8 people jpbarrette markusd sdvillal marciolima leidner whshen JakubSzymanik eporreca
	LT codes [My Copy] Foundations of Computer Science, 2002. Proceedings. The 43rd Annual IEEE Symposium on (2002), pp. 271-280. by M. Luby posted by 6 people nigini chenjinhui AdamTenenbaum marciolima jimh LANL_Advanced_Coding
	A universal algorithm for sequential data compression [My Copy] Information Theory, IEEE Transactions on, Vol. 23, No. 3. (06 January 2003), pp. 337-343. by J. Ziv, A. Lempel posted by 5 people jack marciolima michaelmampaey Vision ADMiRes
	Universal prediction [My Copy] Information Theory, IEEE Transactions on, Vol. 44, No. 6. (1998), pp. 2124-2147. by N. Merhav, M. Feder posted by 4 people davidr jack marciolima Vision
	Introduction to Algorithms, Second Edition [My Copy] (01 September 2001) by Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein posted by 22 people newdawn seb1 n00c ekatsyrk jmmcg Gorzomagnificent Fantozzi seninp dagmar citeUlike123 jcheng dragonrez marciolima gurkanbebek tmarscha dodger042 napvasconcelos chandlerc csacca pawelt eporreca sven_luzar
	Neural Cryptography with Queries [My Copy] (15 November 2004) by Andreas Ruttor, Wolfgang Kinzel, Ido Kanter posted by 4 people nick nettraq marciolima Philosophy_of_Information
	Shannon Information and Kolmogorov Complexity [My Copy] (1 October 2004) by Peter Grunwald, Paul Vitanyi posted by 29 people pafos jjray camster geomblog adg marciolima JimG yish ddahlem pverstra madhadron scis0000001 rgb remipannequin csolar1971 neilc rsantana dbk-lab mathgamespatterns dtl vds-arg eni macc pileWorks Holonic_Tracilog_Team balduzzi pcamacho quianominorleo rrbarb