Director of University of Kent's Academic Centre of Excellence in Cyber Security Research www.cybersec.kent.ac.uk. Research in formal methods (new book: Refinement in Z and Object Z 2nd edition, Springer 2014).
Critical infrastructure firms face crackdown over poor cybersecurity
Jan 30, 2018 12:54 pm UTC| Insights & Views Technology
An EU-wide cyber security law is due to come into force in May to ensure that organisations providing critical national infrastructure services have robust systems in place to withstand cyber attacks. The legislation...
Google has got involved in healthcare data – can we trust it?
May 05, 2016 15:54 pm UTC| Insights & Views Technology
Google has some of the most powerful computers and smartest algorithms in the world, has hired some of the best brains in computing, and through its purchase of British firm Deepmind has acquired AI expertise that recently...
Why Apple is making a stand against the FBI
Feb 18, 2016 14:07 pm UTC| Technology Law
Apple has been ordered to help FBI investigators access data on the phone belonging to San Bernardino gunman Syed Rizwan Farook. The technical solution proposed by the FBI appears to undermine Apples earlier claim that...