74 citations · 77 across the 6 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.CR2014★ 74 cited
Data Driven Authentication: On the Effectiveness of User Behaviour Modelling with Mobile Device Sensors
Hilmi Gunes Kayacik, Mike Just, Lynne Baillie +2
We propose a lightweight, and temporally and spatially aware user behaviour modelling technique for sensor-based authentication. Operating in the background, our data driven techni…
cs.LO2014
ProofPeer: Collaborative Theorem Proving
Steven Obua, Jacques Fleuriot, Phil Scott +1
We define the concept of collaborative theorem proving and outline our plan to make it a reality. We believe that a successful implementation of collaborative theorem proving is a…