- Radboud Repository
- →
- Collections Radboud University
- →
- Non RU Publications
- →
- Browsing Non RU Publications by Faculty & Departments
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browse by Faculty & Departments
Now showing items 1-50 of 106
-
Untraceable RFID authentication protocols: Revision of EC-RAC Ki, L. Yong; Batina, L. ; Verbauwhede, I.2009, Article in monograph or in proceedings (2009 IEEE International Conference on RFID, 27-28 April, 2009, pp. 178-185) -
Type error slicing in implicitly typed higher-order languages Haack, C. ; Wells, J.B.2003, Part of book or chapter of book (Degano, P. (ed.), Secondary Type error slicing in implicitly typed higher-order languages, pp. 284-301) -
Type error slicing in implicitly typed higher-order languages Haack, C. ; Wells, J.B.2004, Article / Letter to editor (Science of Computer Programming, vol. 50, iss. 1-3, (2004), pp. 189-224) -
Triangular factorizations of special polynomial automorphisms Hubbers, E.M.G.M. ; Wright, D.2001, Article / Letter to editor (Journal of Algebra, vol. 235, iss. 2, (2001), pp. 459-483)
-
Translating Dependent Type Theory into Higher Order Logic Jacobs, B.P.F. ; Melham, T.1993, Part of book or chapter of book (Bezem, M. (ed.), Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications TLCA '93 March, 16–18, 1993, Utrecht, The Netherlands. Proceedings, pp. 209-229)
-
Timed spi-calculus with types for secrecy and authenticity Haack, C. ; Jeffrey, A.2005, Part of book or chapter of book (Abadi, M.; DeAlfaro, L. (ed.), Secondary Timed spi-calculus with types for secrecy and authenticity, pp. 202-216)
-
Time-Memory Trade-Off Attack on FPGA Platforms: UNIX Password Cracking Mentens, N.; Batina, L. ; Preneel, B.; Verbauwhede, I.2006, Part of book or chapter of book (Bertels, K.; Cardoso, J.P.; Vassiliadis, S. (ed.), Reconfigurable Computing: Architectures and Applications, pp. 323-334)
-
The loop Compiler for Java and JML Berg, J. van den; Jacobs, B.P.F.2001, Part of book or chapter of book (Margaria, T.; Yi, W. (ed.), Tools and Algorithms for the Construction and Analysis of Systems, pp. 299-312)
-
The Coalgebraic Class Specification Language CCSL Rothe, J.; Tews, H. ; Jacobs, B.P.F.2001, Article / Letter to editor (Journal of Universal Computer Science, vol. 7, iss. 2, (2001), pp. 175-193)
-
The Certicom Challenges ECC2-X Bailey, D. V.; Baldwin, B.; Batina, L. ; Bernstein, D. J.; Birkner, P.; Bos, J. W.; Meulenaer, G. De; Fan, J.; Guneysu, T.; Gurkaynak, F.; Kleinjung, T.; Lange, T.; Mentens, N.; Paar, C.; Regazzoni, F.; Schwabe, P. ; Uhsadel, L.; Damme, G. Van et al.2009, Article in monograph or in proceedings (SHARCS '09 : Special Purpose Hardware for Attacking Cryptographic Systems, 9-10 September 2009, Lausanne, Switzerland, pp. 51-82)
sine al.
-
Testing Framework for eSTREAM Profile II Candidates Batina, L. ; Kumar, S.; Lano, J.; Lemke-Rust, K.; Mentens, N.; Paar, C.; Preneel, B.; Sakiyama, K.; Verbauwhede, I.2006, Article in monograph or in proceedings (SASC 2006 - Stream Ciphers Revisited Special Workshop hosted by the ECRYPT Network of Excellence Leuven, Belgium, February 2-3, 2006, pp. 1-9)
-
Susceptibility of eSTREAM Candidates towards Side Channel Analysis Gierlichs, B.; Batina, L. ; Clavier, C.; Eisenbarth, T.; Gouget, A.; Handschuh, H.; Kasper, T.; Lemke-Rust, K.; Mangard, S.; Moradi, A.; Oswald, E. et al.2008, Article in monograph or in proceedings (Canniere, C. De (ed.), SASC - The State of the Art of Stream Ciphers Special Workshop hosted by the ECRYPT Network of Excellence Lausanne, Switzerland, February 13-14, 2008, pp. 1-28)
sine al.
-
Superscalar Coprocessor for High-Speed Curve-Based Cryptography Sakiyama, K.; Batina, L. ; Preneel, B.; Verbauwhede, I.2006, Part of book or chapter of book (Goubin, L.; Matsui, M. (ed.), Cryptographic Hardware and Embedded Systems - CHES 2006, pp. 415-429)
-
Smart Technologies 2020, Article / Letter to editor (Internet Policy Review, vol. 9, iss. 4, (2020), pp. 1-16)
-
Signal processing for cryptography and security applications Knezevic, M.; Batina, L. ; Mulder, E. ; Fan, J.; Gierlichs, B.; Lee, Y. K.; Maes, R.; Verbauwhede, I.2010, Part of book or chapter of book (Bhattacharyya, S. (ed.), Handbook of signal processing systems, pp. 161-177)
-
Side-channel issues for designing secure hardware implementations Batina, L. ; Mentens, N.; Verbauwhede, I.2005, Article in monograph or in proceedings (IOLTS 2005: 11th IEEE International On-Line Testing Symposium, 6-8 July, 2005. IOLTS 2005, pp. 118-121)
-
Side-Channel Entropy for Modular Exponentiation Algorithms Batina, L. ; Jansen, C2003, Article in monograph or in proceedings (Macq, B. (ed.), Proceedings of the 24rd Symposium on Information Theory in the Benelux, pp. 37-44)
-
Side-channel aware design: algorithms and architectures for elliptic curve cryptography over GF(2n) Batina, L. ; Mentens, N.; Preneel, B.; Verbauwhede, I.2005, Article in monograph or in proceedings (ASAP 2005 : 16th IEEE International Conference on Application-Specific Systems, Architecture Processors, 23-25 July,2005, pp. 350-355)
-
Serial multiplier architectures over GF(2n) for elliptic curve cryptosystems Batina, L. ; Mentens, N.; Ors, S.B.; Preneel, B.2004, Article in monograph or in proceedings (MELECON 2004 : proceedings of the 12th IEEE Mediterranean Electrotechnical Conference, 12-15 May, 2004, pp. 779-782)
-
Semimodule Enrichment 2008, Article in monograph or in proceedings (Mislove, M.; Bauer, A. (ed.), Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV), Philadelphia, PA, USA, 22-25 May 2008, pp. 193-208)
-
Semantics of the second order lambda calculus 1991, Article / Letter to editor (Mathematical Structures in Computer Science, vol. 1, iss. 3, (1991), pp. 327-360)
-
Secret exponent information leakage for timing analyses 2002, Article in monograph or in proceedings (Macq, B. (ed.), Proceedings of the 23rd Symposium on Information Theory in the Benelux, pp. 225-232)
-
RFID-Tags for Anti-counterfeiting Tuyls, P.; Batina, L.2006, Part of book or chapter of book (Pointcheval, D. (ed.), Topics in Cryptology – CT-RSA 2006, pp. 115-131)
-
Reconfigurable modular arithmetic logic unit supporting high-performance RSA and ECC over GF( p ) Sakiyama, K.; Mentens, N.; Batina, L. ; Preneel, B.; Verbauwhede, I.2007, Article / Letter to editor (International Journal of Electronics, vol. 94, iss. 5, (2007), pp. 501-514)
-
Reconfigurable Modular Arithmetic Logic Unit for High-Performance Public-Key Cryptosystems Sakiyama, K.; Mentens, N.; Batina, L. ; Preneel, B.; Verbauwhede, I.2006, Part of book or chapter of book (Bertels, K.; Cardoso, J.P.; Vassiliadis, S. (ed.), Reconfigurable Computing: Architectures and Applications, pp. 347-357)
-
Reconfigurable Architectures for Curve-Based Cryptography on Embedded Micro-Controllers Batina, L. ; Hodjat, A.; Hwang, D.; Sakiyama, K.; Verbauwhede, I.2006, Article in monograph or in proceedings (2006 International Conference on Field Programmable Logic and Applications (FPL) Madrid, Spain August 28–30, 2006 : Proceedings, pp. 1-4)
-
Public-key Primitives Batina, L. ; Seys, S.; Preneel, B.; Verbauwhede, I.2008, Part of book or chapter of book (Lopez, J. (ed.), Wireless Sensor Network Security, pp. 77-109)
-
Public-Key Cryptography on the Top of a Needle Batina, L. ; Mentens, N.; Sakiyama, K.; Preneel, B.; Verbauwhede, I.2007, Article in monograph or in proceedings (ISCAS 2007 : IEEE International Symposium on Circuits and Systems, 2007, pp. 1831-1834)
-
Public-Key Cryptography for RFID-Tags Batina, L. ; Guajardo, J.; Kerins, T.; Mentens, N.; Tuyls, P.; Verbauwhede, I.2007, Article in monograph or in proceedings (PerCom Workshops '07 : Fifth Annual IEEE International Conference on Pervasive Computing and Communications Workshops, 19-23 March 2007, White Plains, New York, USA : Proceedings, pp. 217-222)
-
Public-Key Cryptography for RFID Tags and Applications Batina, L. ; Guajardo, J.; Preneel, B.; Tuyls, P.; Verbauwhede, I.2008, Part of book or chapter of book (Kitsos, P.; Zhang, Y. (ed.), RFID Security, pp. 317-348)
-
Proof principles for datatypes with iterated recursion Hensel, U.; Jacobs, B.P.F.1997, Part of book or chapter of book (Moggi, E.; Rosolini, G. (ed.), Category Theory and Computer Science: 7th International Conference, CTCS '97 Santa Margherita Ligure Italy, September 4–6, 1997 Proceedings, pp. 220-241)
-
Privacy in an Ambient World (PAW): Using licenses and private computing as PET Cartrysse, K.; Corin, R.; Dekker, M.; et al.; Hoepman, J.H. ; Lenzini, G.; Lubbe, J. van de; Verschuren, J.H.S.; Veugent, T.2004, External research report
-
Privacy Challenges in RFID Systems Lee, Y.; Batina, L. ; Verbauwhede, I.2010, Part of book or chapter of book (Giusto, D.; Iera, A.; Morabito, G. (ed.), The Internet of Things, pp. 397-407)
-
Preface: Volume 11 Jacobs, B.P.F. ; Moss, L.; Reichel, H.; Rutten, J.1998, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, vol. 11, (1998), pp. 259)
-
Power analysis on NTRU implementations for RFIDs: First results Atici, A.C.; Batina, L. ; Gierlichs, B.; Verbauwhede, I.2008, Article in monograph or in proceedings (RFIDsec08 : Workshop on RFID Security 2008, July 9th-11th, 2008, Budapest, pp. 1-11)
-
Porters’ Elements for a Business Information Security Strategy Bobbert, Y.2015, Article / Letter to editor (ISACA Journal, vol. 1, (2015), pp. 1-4)
-
Mutual Information Analysis : A Universal Differential Side-Channel Attack Gierlichs, B.; Batina, L. ; Tuyls, P.2007, External research report
-
Mutual Information Analysis Gierlichs, B.; Batina, L. ; Tuyls, P.; Preneel, B.2008, Part of book or chapter of book (Oswald, E.; Rohatgi, P. (ed.), Cryptographic Hardware and Embedded Systems – CHES 2008, pp. 426-442)
-
Multicore Curve-Based Cryptoprocessor with Reconfigurable Modular Arithmetic Logic Units over GF(2^n) Sakiyama, K.; Batina, L. ; Preneel, B.; Verbauwhede, I.2007, Article / Letter to editor (IEEE Transactions on Computers, vol. 56, iss. 9, (2007), pp. 1269-1282)
-
Montgomery in Practice: How to Do It More Efficiently in Hardware Batina, L. ; Muurling, G.2002, Part of book or chapter of book (Preneel, B. (ed.), Topics in Cryptology — CT-RSA 2002, pp. 40-52)
-
Modular reduction without precomputational phase Knezevic, M.; Batina, L. ; Verbauwhede, I.2009, Article in monograph or in proceedings (ISCAS 2009 : IEEE International Symposium on Circuits and Systems, 24-27 May, 2009, Taipei, Taiwan, pp. 1389-1392)
-
Many-sorted coalgebraic modal logic: A model-theoretic study 2001, Article / Letter to editor (Rairo-Informatique Theorique et Applications-Theoretical Informatics and Applications, vol. 35, iss. 1, (2001), pp. 31-59)
-
Low-cost implementations of NTRU for pervasive security Atici, A.C.; Batina, L. ; Junfeng, F.; Verbauwhede, I.; Yalcin, S.B.O.2008, Article in monograph or in proceedings (ASAP 2008 : International Conference on Application-Specific Systems, Architectures and Processors, 2-4 July,2008, pp. 79-84)
-
Low-Cost Elliptic Curve Cryptography for Wireless Sensor Networks Batina, L. ; Mentens, N.; Sakiyama, K.; Preneel, B.; Verbauwhede, I.2006, Part of book or chapter of book (Buttyán, L.; Gligor, V.; Westhoff, D. (ed.), Security and Privacy in Ad-Hoc and Sensor Networks, pp. 6-17)
-
Learning as a Machine: Crossovers between Humans and Machines 2017, Article / Letter to editor (Journal of Learning Analytics, vol. 4, iss. 1, (2017), pp. 6-23)
-
JavaCard Program Verification 2001, Part of book or chapter of book (Boulton, R.; Jackson, P. (ed.), Theorem Proving in Higher Order Logics, pp. 1-3)
-
Invariants, bisimulations and the correctness of coalgebraic refinements 1997, Part of book or chapter of book (Johnson, M. (ed.), Algebraic Methodology and Software Technology: 6th International Conference, AMAST'97 Sydney, Australia, December13–17, 1997 Proceedings, pp. 276-291)
-
Implementation Aspects of Security and Privacy in Embedded Design Balasch Masoliver, J.M.2014, Dissertation
-
ImagePile: an Alternative for Vertical Results Lists of IR-Systems Akkersdijk, S.M.; Brandon, M.; Jochmann-Mannak, H.; Hiemstra, D. ; Huibers, T.2011, External research report
-
Identification via location-profiling in GSM networks Mulder, Y.D.; Danezis, G.; Batina, L. ; Preneel, B.2008, Article in monograph or in proceedings (WPES '08 : Proceedings of the 7th ACM workshop on Privacy in the electronic society, pp. 23-32)
Now showing items 1-50 of 106
Search Repository
Browse
-
All of Repository
-
This Collection
Upload Full Text