A biometric security scheme for wireless body area networks

A theory of timed automata

Rajeev Alur, David L. Dill · Theoretical Computer Science · 1994 · 6.5K citations

Computing, Computer Science, Formal Methods +9

On the security of public key protocols

Danny Dolev, A. Yao · IEEE Transactions on Information Theory · 1983 · 5.7K citations

Computing, Computer Science, Cybersecurity +13

Password authentication with insecure communication

Leslie Lamport · Communications of the ACM · 1981 · 2.8K citations · Full text

Computing, Computer Science, Cybersecurity +13

A Survey on Wearable Sensor-Based Systems for Health Monitoring and Prognosis

Alexandros Pantelopoulos, Nikolaos Bourbakis · IEEE Transactions on Systems Man and Cybernetics Part C (Applications and Reviews) · 2009 · 2.3K citations

Engineering, Bioengineering, Biomedical Engineering +17

Uppaal in a nutshell

Kim G. Larsen, Paul Pettersson, Wang Yi · International Journal on Software Tools for Technology Transfer · 1997 · 2.2K citations

Dentistry, Health Promotion, Restitution +1