Francisco Jaime
ASSOCIATE Professor
Edificio de Investigación Ada Byron
C/ Arquitecto Francisco Peñalosa, nº 18
Ampliación Campus de Teatinos. Universidad de Málaga
29071 Málaga (Spain)
Phone: +34 951 952 939
E-mail: franj@uma.es
Domain of interest and research
- Digital arithmetic.
- Privacy by design.
- Blockchain technologies.
Current research
- Functional safety.
Education
- PhD in Computer Science (with European Doctorate mention), University of Málaga, 2011.
- MSc in Computer Science, University of Málaga, 2010.
Relevant publications
Francisco Jaime, Antonio Muñoz, Francisco Rodríguez-Gómez, Antonio Jerez-Calero
Strenghtening Privacy and Data Security in Biomedical Microelectromechanical Systems by IoT Communication Security and Protection in Smart Healthcare Journal Article
In: Sensors, vol. 23, iss. 21, 2023, ISSN: 14248220.
BibTeX | Links:
@article{jaime2023,
title = {Strenghtening Privacy and Data Security in Biomedical Microelectromechanical Systems by IoT Communication Security and Protection in Smart Healthcare},
author = {Francisco Jaime, Antonio Mu\~{n}oz, Francisco Rodr\'{i}guez-G\'{o}mez, Antonio Jerez-Calero},
editor = {MDPI},
doi = {10.3390/s23218944},
issn = {14248220},
year = {2023},
date = {2023-11-03},
urldate = {2023-11-03},
journal = {Sensors},
volume = {23},
issue = {21},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
Antonio Muñoz, Jamal Toutouh, Francisco Jaime
A review of dynamic verification of security and dependability properties Book Chapter
In: IGI Global (Ed.): Chapter 7, pp. 27, 2019, ISBN: 9781522573531.
@inbook{jaime2019,
title = {A review of dynamic verification of security and dependability properties},
author = {Antonio Mu\~{n}oz, Jamal Toutouh, Francisco Jaime},
editor = {IGI Global},
doi = {10.4018/978-1-5225-7353-1.ch007},
isbn = {9781522573531},
year = {2019},
date = {2019-01-01},
urldate = {2019-01-01},
pages = {27},
chapter = {7},
abstract = {This chapter reviews the notions of security and dependability properties from the
perspective of software engineering, providing the reader with a technical background
on dynamic verification and runtime monitoring techniques. The chapter covers the
technical background on security and dependability properties with system verification
through dynamic verification or monitoring. The authors initially provide a short
overview of the security and dependability properties themselves. Once definitions
of security and dependability properties are introduced, they present a critical
analysis of current research on dynamic verification by presenting general purpose
and security oriented dynamic verification approaches.},
keywords = {},
pubstate = {published},
tppubtype = {inbook}
}
perspective of software engineering, providing the reader with a technical background
on dynamic verification and runtime monitoring techniques. The chapter covers the
technical background on security and dependability properties with system verification
through dynamic verification or monitoring. The authors initially provide a short
overview of the security and dependability properties themselves. Once definitions
of security and dependability properties are introduced, they present a critical
analysis of current research on dynamic verification by presenting general purpose
and security oriented dynamic verification approaches.
Daniel Le Métayer, Mathias Bossuet, Fanny Coudert, Claire Gayrel, Francisco Jaime, Christophe Jouvray, Antonio Kung, Zhendong Ma, Antonio Maña
Interdisciplinarity in practice: Challenges and benefits for privacy research Journal Article
In: Computer Law & Security Review, vol. 33, iss. 6, pp. 864-869, 2017.
@article{jaime2017,
title = {Interdisciplinarity in practice: Challenges and benefits for privacy research},
author = {Daniel Le M\'{e}tayer, Mathias Bossuet, Fanny Coudert, Claire Gayrel, Francisco Jaime, Christophe Jouvray, Antonio Kung, Zhendong Ma, Antonio Ma\~{n}a},
editor = {Elsevier},
doi = {10.1016/j.clsr.2017.05.020},
year = {2017},
date = {2017-12-09},
urldate = {2017-12-09},
journal = {Computer Law \& Security Review},
volume = {33},
issue = {6},
pages = {864-869},
abstract = {The goal of this paper is to draw the lessons learned from a project that involved security systems engineers, computer scientists, lawyers and social scientists. Since one of the goals of the project was to propose actual solutions following the privacy by design approach, its aim was to go beyond multidisciplinarity and build on the variety of expertise available in the consortium to follow a true interdisciplinary approach. We present the challenges before describing the solutions adopted by the project to meet them and the outcomes and benefits of the approach. We conclude with some lessons to be drawn from this experience and recommendations for future interdisciplinary projects.},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
Francisco Jaime, Miguel A. Sánchez, Javier Hormigo, Julio Villalba, Emilio L. Zapata
High-Speed Algorithms and Architectures for Range Reduction Computation Journal Article
In: IEEE Transactions on Very Large Scale Integration (VLSI) Systems, vol. 19, no. 3, pp. 512-516, 2011, ISSN: 1063-8210.
@article{jaime2011,
title = {High-Speed Algorithms and Architectures for Range Reduction Computation},
author = {Francisco Jaime, Miguel A. S\'{a}nchez, Javier Hormigo, Julio Villalba, Emilio L. Zapata},
doi = {10.1109/TVLSI.2009.2033932},
issn = {1063-8210},
year = {2011},
date = {2011-03-01},
urldate = {2011-03-01},
journal = {IEEE Transactions on Very Large Scale Integration (VLSI) Systems},
volume = {19},
number = {3},
pages = {512-516},
abstract = {Range reduction is a crucial step for accuracy in trigonometric functions evaluation. This paper shows and compares a set of algorithms for additive range reduction computation and their corresponding application-specific integrated circuit implementations (ensuring an accuracy of one unit in the last place). A word-serial architecture implementation has been used as a reference for clearer comparisons. Besides, a new table-based pipelined architecture for range reduction has also been proposed.},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
Francisco Jaime, Miguel A. Sánchez, Javier Hormigo, Julio Villalba, Emilio L. Zapata
Enhanced Scaling-Free CORDIC Journal Article
In: IEEE Transactions on Circuits and Systems, vol. 57, no. 7, pp. 1654-1662, 2010, ISSN: 1549-8328.
@article{jaime2010,
title = {Enhanced Scaling-Free CORDIC},
author = {Francisco Jaime, Miguel A. S\'{a}nchez, Javier Hormigo, Julio Villalba, Emilio L. Zapata},
doi = {10.1109/TCSI.2009.2037391},
issn = {1549-8328},
year = {2010},
date = {2010-07-01},
urldate = {2010-07-01},
journal = {IEEE Transactions on Circuits and Systems},
volume = {57},
number = {7},
pages = {1654-1662},
abstract = {Coordinate Rotation DIgital Computer (CORDIC) rotator is a well known and widely used algorithm within computers due to its way of carrying out some calculations such as trigonometric functions, among others. A scale factor compensation inherent to the CORDIC algorithm becomes an important drawback when trying to improve its benefits, although some authors have come up with a new scaling-free version, which has been successfully implemented within wireless applications. However, this new CORDIC can still be significantly improved by modifying some of its parts, therefore, this paper shows an enhanced version of the scaling-free CORDIC. These new enhancements have been implemented and tested, obtaining some new architectures which are able to reach a 35% lower latency and a 36% reduction in area and power consumption compared to the original scaling-free architecture.},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
Francisco Jaime, Julio Villalba, Javier Hormigo, Emilio L. Zapata
Pipelined Architecture for Additive Range Reduction Journal Article
In: Journal of Signal Processing Systems, vol. 53, pp. 103-112, 2008.
@article{jaime2008,
title = {Pipelined Architecture for Additive Range Reduction},
author = {Francisco Jaime, Julio Villalba, Javier Hormigo, Emilio L. Zapata},
editor = {Springer},
doi = {10.1007/s11265-008-0166-x},
year = {2008},
date = {2008-03-18},
urldate = {2008-03-18},
journal = {Journal of Signal Processing Systems},
volume = {53},
pages = {103-112},
abstract = {Range reduction is a crucial step for the ac- curacy in trigonometric functions evaluation. A new pipelined architecture to deal with range reduction for floating point representation is presented in this paper. The algorithm is based on a look-up table storing the corresponding powers of 2 mod A. The overall design has been optimized for a modulo equal to 2π, which is the most widely used due to trigonometric functions requirements. We provide an evaluation of different configurations and a full error propagation study which ensures an accuracy of one unit in the last place.},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
Scientific Activities
- Organizing committee:
- 10th International Conference on Systematic Approaches to Digital Forensics Engineering (SADFE 2015). Málaga, Spain.
- 31st IEEE International Symposium on Computer Arithmetic (ARITH 2024). Málaga, Spain.
- Reviewer:
- 17th International Conference on Availability, Reliability and Security (ARES 2022).
- 26th IEEE International Symposium on Computer Arithmetic (ARITH 2019).
- European projects
- PrivAcy pReserving Infrastructure for Surveillance (PARIS). 8.06.UE/47.7054.