Skip to main content

Computer Scientists Close In On Perfect, Hack-Proof Code | Huffington Post

xxx

The technology that repelled the hackers was a style of software programming known as formal verification.

From Computer Scientists Close In On Perfect, Hack-Proof Code | Huffington Post

Have the Department of Defence only just heard about this? My colleagues at Consult Hyperion were using this 30 years ago to my certain knowledge and we used 20 years for Mondex.

Comments

Popular posts from this blog

There is no excuse for not taking cards

So we went to the pub. For lunch. Seven of us. Say £20 per head. £100+ quid. Say £50 quid gross for the pub. Colleague goes to order food and drinks and pay at the bar. Apologetic barmaid comes over to explain that their “card machine” is down, so she can only accept cash. Under normal circumstances I would have simply walked out, feeling it wholly inappropriate to reward such a poorly managed establishment and, as a functioning actor in a capitalist economy, done my duty to depress their lunchtime takings. Here’s what we wanted to say: This is absurd. This is 2016 not 1916. Your card machine is down? Well, so what! Are you seriously telling me that mein host has no mobile phone number capable of registering for PingIt or PayM? That none of the staff or the pub itself have a PayPal account that I can send the money to? That neither the owners nor managers not contingency planners thought to tuck an iZettle behind the bar to use when the clunky and expensive GPRS terminal fails for o...