|
Click on a project in the table below for all publications registered to that project.
Project PDC1: Security, Identification, and Authentication
2009
- B. Schouten and B. Jacobs. Biometrics and their Use in e-Passports. In Image and Vision Computing 27(3), pages 305-312, 2009.
- N. Poh, T. Bourlai, J. Kittler, L. Allano, F. Alonso, O. Ambekar, J. Baker, B. Dorizzi, O. Fatukasi, J. Fierrez, H. Ganster, J.-O. Garcia, D. Maurer, A.A. Salah, T. Scheidat and C. Vielhauer. Benchmarking Quality-Dependent and Cost-sensitive Multimodal Biometric Fusion Algorithms. In IEEE Transactions on Information Forensics and Security 4(4), pages 849-866, 2009.
- H. Dibeklioglu, A.A. Salah and L. Akarun. Expression, Pose and Occlusion Resistant 3D Facial Landmarking. In IEEE Signal Processing and Communications Applications Conference - SIU, pages 476-479, 2009.
- A.A. Salah. Face Authentication for an Activity-Related Biometrics System. In IEEE Signal Processing and Communications Applications Conference - SIU, pages 712-715, 2009.
- Z. Yücel, A.A. Salah, C. Mericli and T. Mericli. Joint Visual Attention Modeling for Naturally Interacting Robotic Agents. In 24th International Symposium on Computer and Information Sciences - ISCIS, 2009.
- Z. Yücel and A.A. Salah. Resolution of focus of attention using gaze direction estimation and saliency computation. In International Conference on Affective Computing & Intelligent Interaction, 2009.
- A.A. Salah and B. Schouten. Semiosis and the relevance of context for the AmI environment. In 9th European Conference on Computing and Philosophy - ECAP, 2009.
- Z. Yücel and A.A. Salah. Head pose and neural network based gaze direction estimation for joint attention modeling in embodied agents. In 31st Annual Conference of Cognitive Science Society - CogSci, 2009.
- N. Poh, C.H. Chan, J. Kittler, S. Marcel, C. Mc Cool, E. Argones Rua, J.L. Alba Castro, M. Villegas, R. Paredes, V. Struc, N. Pavesic, A.A. Salah, H. Fang and N. Costen. Face Video Competition. In 3rd IAPR/IEEE International Conference on Biometrics - ICB, 2009.
2008
- A.A. Salah, R. Morros, J. Luque, C. Segura, J. Hernando, O. Ambekar, B. Schouten and E.J. Pauwels. Multimodal Identification and Localization of Users in a Smart Environment. In Journal on Multimodal Interfaces 2(2), pages 75-91, 2008.
- A.A. Salah, N. Alyüz and L. Akarun. Registration of Three-Dimensional Face Scans with Average Face Models. In Journal of Electronic Imaging 17(1), art.no. 011006, 2008.
- H. Chen, R. Cramer, R. de Haan and I. Cascudo Pueyo. Strongly Multiplicative Ramp Schemes from High Degree Rational Points on Curves. In N.P. Smart, editor, Advances in Cryptology - EUROCRYPT, pages 451-470, Springer-Verlag, Berlin, 2008.
- N. Alyüz, B. Gökberk, H. Dibeklioglu, A. Savran, A.A. Salah, L. Akarun and B. Sankur. 3D Face Recognition Benchmarks on the Bosphorus Database with Focus on Facial Expressions. In B. Schouten et al., editors, European Workshop on Biometrics and Identity Management - BIOID, pages 57-66, Springer-Verlag, Berlin, 2008.
- A.A. Salah and E.J. Pauwels. Prediction and Voronoi Graph Construction with a Dense Network of Simple Sensors. In IEEE Signal Processing and Communications Applications Conference - SIU, art.no. 10.1109/SIU.2008.4632744, IEEE Press, Piscataway, New Jersey, 2008.
- A.A. Salah and A.P. Saygin. Retinotopy and Selective Visual Attention in Humans and Computers. In IEEE Signal Processing and Communications Applications Conference - SIU, art.no. 10.1109/SIU.2008.4632746, IEEE Press, Piscataway, New Jersey, 2008.
- A.A. Salah. Perceptual Fusion. In Fourth Symposium on Brain as a Computing Machine, Istanbul, 2008.
- B. Schouten and A.A. Salah. Empowering the End-user in Biometrics. In 10th IEEE International Conference on Control, Automation, Robotics and Vision - ICARCV, pages 1357-1360, 2008.
- H. Dibeklioglu, A.A. Salah and L. Akarun. 3D Facial Landmarking under Expression, Pose, and Occlusion Variations. In IEEE Second International Conference on Biometrics: Theory, Applications and Systems - BTAS, 2008.
- H. Dibeklioglu, A.A. Salah and L. Akarun. Expression, Pose and Occlusion Resistant 3D Facial Landmarking. In IEEE Signal Processing and Communications Applications Conference - SIU, pages 476-479, 2009.
- B. Gökberk, A.A. Salah, L. Akarun, R. Etheve, D. Riccio and J.L. Dugelay. 3D Face Recognition. In D. Petrovska-Delacrétaz et al., editors, Guide to Biometric Reference Systems and Performance Evaluation, pages 263-295, Springer-Verlag, Berlin, 2008.
- M. Tistarelli, M. Bicego, J.L. Alba-Castro, D. Gonzàlez-Jimènez, A. Mellakh, A.A. Salah, D. Petrovska-Delacrètaz and B. Dorizzi. 2D Face Recognition. In D. Petrovska-Delacrétaz et al., editors, Guide to Biometric Reference Systems and Performance Evaluation, Springer-Verlag, Berlin, 2008.
- A.A. Salah. Perceptual Fusion in Humans and Machines. In O. Tanridag, editor, Cognitive Neuroscience at Marmaris - An Interdisciplinary Book on Selected Themes From The Previous Meetings 2005-2007, Pharmapublication Planning, Istanbul, 2008.
2007
- G. Delzanno, S. Etalle and M. Gabbrielli. Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems. In Theory and Practice of Logic Programming 6(3), pages 225-226, 2007.
- R.J. Corin, S. Etalle, P.H. Hartel and A.H. Mader. Timed Analysis of Security Protocols. In Journal of Computer Security 15(6), pages 619-645, 2007.
- K. Bhargavan, R.J. Corin, C. Fournet and A. D. Gordon. Secure Sessions for Web Services. In ACM Transactions on Information and System Security 10(2), art.no. 10.1145/1237500.1237504, 2007.
- R. Cramer, I. Damgaard, and R. de Haan. Atomic Secure Multiplication with Low Communication. In M. Naor, editor, Advances in Cryptology - EUROCRYPT, pages 329-346, Springer-Verlag, Berlin, 2007.
- D. Gonzalez-Jimenez, M. Bicego, J.W.H. Tangelder, B.A.M. Schouten, O. Ambekar, J.L. Alberto-Castro, E. Grosso and M. Tistarelli. Distance Measures for Gabor Jets-based Face Authentication: Comparative Evaluation. In S.-W. Lee and S.Z. Li, editors, International Conference on Biometrics - ICB, pages 474-483, Springer-Verlag, Berlin, 2007.
- R. Tavenard, A.A. Salah and E.J. Pauwels. Searching for Temporal Patterns in AmI Sensor Data. In M. Muhlhauser et al., editors, Constructing Ambient Intelligence - AmI, pages 53-62, Springer-Verlag, Berlin, 2007.
- E. Pauwels, A.A. Salah and R. Tavenard. Sensor Networks for Ambient Intelligence. In Workshop on Multimedia Signal Processing - MMSP, pages 13-16, IEEE Press, Piscataway, New Jersey, 2007.
- R. Morros, A.A. Salah, B. Schouten, C.S. Perales, J.L. Serrano, O. Ambekar, C. Kayalar, C. Keskin and L. Akarun. Event Recognition for Meaningful Human-Computer Interaction in a Smart Environment. In The SIMILAR NoE Summer Workshop on Multimodel Interfaces - eNTERFACE, pages 71-86, Istanbul, 2007.
- A.A. Salah, M. Bicego, L. Akarun, E. Grosso and M. Tistarelli. Hidden Markov Model-based Face Recognition Using Selective Attention. In B.E. Rogowitz et al., editors, SPIE Conference on Human Vision and Electronic Imaging - HVEI, pages 404-412, SPIE, Bellingham, Washington, 2007.
- R.J. Corin. Computational Soundness of Formal Encryption in Coq. In M. Backes and Y. Lakhnech, editors, Workshop on Formal and Computational Cryptography - FCC, Venice, 2007.
- K. Bhargavan, R.J. Corin and C. Fournet. Crypto-Verifying Protocol Implementations in ML. In M. Backes and Y. Lakhnech, editors, Workshop on Formal and Computational Cryptography - FCC, Venice, 2007.
- R.J. Corin, P. M. Denielou, C. Fournet, K. Bhargavan and J. Leifer. Secure Implementations for Typed Session Abstractions. In R. Focardi, editor, IEEE Computer Security Foundations Symposium, Venice, 2007.
- H. Jonker, M.T. Dashti and S.K. Nair. Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme. In F. Arbab and M. Sirjani, editors, Fundamentals of Software Engineering - FSEN, pages 33-48, Springer-Verlag, Berlin, 2007.
- H. Chen, R. Cramer, S. Goldwasser, R. de Haan and V. Vaikuntanathan. Secure Computation from Random Error Correcting Codes. In M. Naor, editor, Advances in Cryptology - EUROCRYPT, pages 291-310, Springer-Verlag, Berlin, 2007.
- H.L. Jonker and S. Mauw. Core security requirements of DRM systems. In D. Satish, editor, Digital Rights Management - An Introduction, pages 73-90, ICFAI University Press, Punjagutta, 2007.
- A.A. Salah. Perceptual Fusion in Humans and Machines. In O. Tanridag, editor, Cognitive Neuroscience at Marmaris - An Interdisciplinary Book on Selected Themes From The Previous Meetings 2005-2007, Pharmapublication Planning, Istanbul, 2008.
2006
- S.M. Orzan and E.P. de Vink. Multiparty Contract Signing over a Reliable Network. In Electronic Notes in Theoretical Computer Science 157(3), pages 27-41, 2006.
- J.W.H. Tangelder and B.A.M. Schouten. Learning a Sparse Representation from Multiple Still Images for On-Line Face Recognition in an Unconstrained Environment. In International Conference on Pattern Recognition - ICPR, pages 1087-1090, IEEE Computer Society, Los Alamitos, California, 2006.
- I. Damgard, S. Fehr, L. Salvail and C. Schaffner. Oblivious Transfer and Linear Functions. In C. Dwork, editor, Advances in Cryptology - CRYPTO, pages 427-444, Springer-Verlag, Berlin, 2006.
- J.W.H. Tangelder and B.A.M. Schouten. Transparent Face Recognition in an Unconstrained Environment Using a Sparse Representation from Multiple Still Images. In Conference of the Advanced School for Computing and Imaging - ASCI, 2006.
2005
- C.J.F. Cremers, S. Mauw and E.P. de Vink. A Syntactic Criterion for Injectivity of Authentication Protocols. In Electronic Notes in Theoretical Computer Science 135(1), pages 23-38, 2005.
- R. Cramer, S. Fehr and M. Stam. Black-Box Secret Sharing from Primitive Sets in Algebraic Number Fields. In V. Shoup, editor, Advances in Cryptology - CRYPTO, pages 344-360, Springer-Verlag, Berlin, 2005.
- R. Corin, G. Di Caprio, S. Etalle, S. Gnesi, G. Lenzini and C. Moiso. A Formal Security Analysis of an OSA/Parlay Authentication Interface. In M. Steffen and G. Zavattaro, editors, International Conference on Formal Methods for Open Object-Based Distributed Systems - FMOODS, pages 131-146, Springer-Verlag, Berlin, 2005.
- R. Corin, S. Etalle and A. Saptawijaya. PS-LTL for Constraint-based Security Protocol Analysis. In M. Gabbrielli and G. Gupta, editors, International Conference on Logic Programming - ICLP, pages 439-440, Springer-Verlag, Berlin, 2005.
- J. Eijck and S.M. Orzan. Modelling the Epistemics of Communication with Functional Programming. In M. van Eekelen, editor, Symposium on Trends in Functional Programming - TFP, pages 44-59, Institute of Cybernetics at Tallinn Technical University, Tallinn, 2005.
- J. den Hartog and E. de Vink. Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards. In T. Dimitrakos and F. Martinelli, editors, Workshop on Formal Aspects in Security and Trust - FAST, pages 85-98, Springer Boston, Boston, Massachusetts, 2005.
- B.A.M. Schouten and J.W.H. Tangelder. Non-Intrusive Face Verification by a Virtual Mirror Interface Using Fractal Codes. In Biometrics on the Internet - COST 275, 2005.
- J.W.H. Tangelder, B.A.M. Schouten and S. Bonchev. A Multi-Sensor Architecture for Human-Centered Smart Environments. In Computer-aided Industrial Design and Conceptual Design - CAID&CD, 2005.
- T. Chen, T. Han and J. Lu. Analysis of A Leader Election Algorithm in uCRL. In Conference on Computer and Information Technology - CIT, pages 841-847, IEEE Computer Society, Los Alamitos, California, 2005.
- T. Chen, T. Han and J. Lu. On the Bisimulation Congruence in chi-Calculus. In R. Ramanujam and S. Sen, editors, Foundations of Software Technology and Theoretical Computer Science - FSTTCS, pages 128-139, Springer-Verlag, Berlin, 2005.
- A.A. Salah. Perceptual Fusion in Humans and Machines. In O. Tanridag, editor, Cognitive Neuroscience at Marmaris - An Interdisciplinary Book on Selected Themes From The Previous Meetings 2005-2007, Pharmapublication Planning, Istanbul, 2008.
- J.W.H. Tangelder. Survey of 2D Face Recognition Methods for Robust Identification by Smart Devices. CWI technical report PNA-E0504, 2005.
- H.L. Jonker and S. Mauw. Core Security Requirements of DRM Systems. TUE technical report 05-24, 2005.
2004
- A. Hommersom, J.-J. Meyer and E.P. de Vink. Update Semantics of Security Protocols. In Synthese 142(2), pages 229-267, 2004.
- S. Mauw, J. Verschuren and E.P. de Vink. A Formalization of Anonymity and Onion Routing. In P. Samarati and P. Ryan and D. Gollmann and R. Molva, editors, European Symposium on Research in Computer Security - ESORICS, pages 109-124, Springer-Verlag, Berlin, 2004.
|
