proof articles, videos, photos and opinions

Sort by Relevance | Date | Popularity

IoSafe unveils disaster-proof SoloPro hard drive

...IoSafe on Wednesday released a new member of its family of disaster-proof external hard drives, the IoSafe SoloPro. The SoloPro is the first rugged... Read more

19 August, 2010 by Dong Ngo

Fake Angry Birds app reveals Android flaw

...the fake Android apps that were sneaked onto the phone by a proof-of-concept app. Screenshot: Jon Oberheide Google pulled an app from the... Read more

12 November, 2010 by Elinor Mills

Google engineer faces etiquette rap over Windows flaw

...support — on Saturday. He then announced details of the hole and offered proof-of-concept attack code in a post to the Full Disclosure security... Read more

14 June, 2010 by Elinor Mills

Windows 7 open to attack via memory

...be carried out via the PCMCIA port, the researchers said. Their current proof-of-concept focuses on the 64-bit version of Windows 7. System... Read more

11 June, 2010 by Matthew Broersma
WAP <endeca_term>Proof</endeca_term> 2008 Professional 4.2.0824

WAP Proof 2008 Professional 4.2.0824

WAP Proof is a professional mobile browser emulator supporting WML, XHTML MP, HTML, and... Read more

5 October, 2011
WAP <endeca_term>Proof</endeca_term> 2008 Lite 4.2 build 0824

WAP Proof 2008 Lite 4.2 build 0824

WAP Proof is a Windows-based emulator of a WAP browser. By using the... Read more

5 October, 2011

Cern hopes for proof of extra dimensions in 2011

...collected by colliding particles in the Large Hadron Collider could lead to proof of extra dimensions and the existence of the Higgs Boson by the... Read more

17 November, 2010 by Ben Woods

Quantum Computing gains from error correction proof

It has been a good week for quantum computing. Scientists in Australia announced that they have successfully built a... Read more

23 February, 2012
Automatically Verified Mechanized <endeca_term>Proof</endeca_term> of One-Encryption Key Exchange

Automatically Verified Mechanized Proof of One-Encryption Key Exchange

The authors present a mechanized proof of the password-based protocol One-Encryption Key Exchange (OEKE) using the... Read more

6 April, 2012
An Experimental Survey and Comparison of <endeca_term>Proof</endeca_term> by Knowledge Authentication Techniques

An Experimental Survey and Comparison of Proof by Knowledge Authentication Techniques

Proof by knowledge authentication techniques include traditional text passwords, visual passwords and graphical... Read more

16 March, 2012
David & Goliath Oblivious Affine Function Evaluation - Asymptotically Optimal Building Blocks for Universally Composable Two-Party Computation from a Single Untrusted Stateful Tamper-<endeca_term>Proof</endeca_term> Hardware Token

David & Goliath Oblivious Affine Function Evaluation - Asymptotically Optimal Building Blocks for Universally Composable Two-Party Computation from a Single Untrusted Stateful Tamper-Proof Hardware Token

Cryptographic assumptions regarding tamper proof hardware tokens have gained increasing attention. Even if the tamper-proof hardware... Read more

12 March, 2012
<endeca_term>Proof</endeca_term> Pearl: The Power of Higher-Order Encodings in the Logical Framework LF

Proof Pearl: The Power of Higher-Order Encodings in the Logical Framework LF

In this proof pearl, the authors demonstrate the power of higher-order encodings in the... Read more

1 January, 2012
How to Make Ad Hoc <endeca_term>Proof</endeca_term> Automation Less Ad Hoc

How to Make Ad Hoc Proof Automation Less Ad Hoc

Most interactive theorem provers provide support for some form of user-customizable proof automation. In a number of popular systems, such as Coq and Isabelle... Read more

21 September, 2011
Privacy-Aware <endeca_term>Proof</endeca_term>-Carrying Authorization

Privacy-Aware Proof-Carrying Authorization

Proof-Carrying Authorization (PCA) is one of the most popular approaches for the... Read more

5 June, 2011
Framework for Security <endeca_term>Proofs</endeca_term> for On-Demand Routing Protocols in Multi-Hop Wireless Networks

Framework for Security Proofs for On-Demand Routing Protocols in Multi-Hop Wireless Networks

The authors present a framework for security proofs for on-demand routing protocols. The framework relies on the composable cryptographic... Read more

6 May, 2011

Get ZDNet UK's daily newsletter

Enter your email address to sign up

ZDNet UK Live

BrownieBoy

"cites" even. Ouch!

5 hours ago by BrownieBoy on Using Windows XP is a waste of money, says IDC
Horace Ontalhold

...... and PDP11s too

6 hours ago by Horace Ontalhold on Fusion-io lays minefield with a billion IOPS
BrownieBoy

I had a quick skim through the PDF. It seems to be that many of these so-called cost savings would be down to a hardware refresh. Although...

7 hours ago by BrownieBoy on Using Windows XP is a waste of money, says IDC
bobandroid

496,999 BT Fon Hotspots lovingly situated in your next door neighbours garden, no matter how you dress that up its still a pup... Not where I need...

9 hours ago by bobandroid on London Olympics: BT needs 25,000 more Wi-Fi hotspots
apexwm

Jack : I was hoping you could provide us a summary since you are familiar with this report. I am not yet sure how much of my time I'd like to...

10 hours ago by apexwm on Using Windows XP is a waste of money, says IDC
Smilig Eddie

2 – 4 more weeks of waiting: how many buyers are going to decide instead to see what the iPhone 5 offers? Consumer trust in the brand has also...

10 hours ago by Smilig Eddie on Samsung Galaxy 'S3' delayed by special paint
SRist

So it looks like this was a complete red herring - Adobe are allowing upgrades from Photoshop CS3, CS4 and CS5 at the same price. When did this...

11 hours ago by SRist on Photoshop users attack Adobe upgrade policy change
Jack Schofield

@apexwm Have you considered either (a) reading the story above or (b) reading the PDF? There are answers in both.

13 hours ago by Jack Schofield on Using Windows XP is a waste of money, says IDC
apexwm

I would love to hear why Microsoft believes that "upgrading from Windows XP to Windows 7 pays for itself in a year, in increased productivity and...

14 hours ago by apexwm on Using Windows XP is a waste of money, says IDC
debsmk

I have just changed mine to white they said 3 to 5 days

15 hours ago by debsmk on Samsung Galaxy 'S3' delayed by special paint
Atangana

I would like a job for me and do good to their tackiness vellent my help I will do my best to help you mercie for all

16 hours ago by Atangana on UK's 15-year-old World Excel champion offered £100k job
BrownieBoy

Well done to IDC for producing a report that says using XP is a waste of money. Only 11 years too late with it is all....

17 hours ago by BrownieBoy on Using Windows XP is a waste of money, says IDC
Jack Schofield

@Burn-IT ...which doesn't mean it isn't true ;-) I'll be interested if you can find any properly-researched, independent data from any of the...

18 hours ago by Jack Schofield on Using Windows XP is a waste of money, says IDC
Burn-IT

As said, sponsored by Microsoft........

18 hours ago by Burn-IT on Using Windows XP is a waste of money, says IDC
mrbigdong

@620W, I mine 1 BTC/daily for cost of 1.7eur, they naysayers regurgitate the rubbish they read as usual

19 hours ago by mrbigdong on A minor Bitcoin miner injury?
Mike Denton

If the link to the next section existed that would be awesome.... Guess I have to ask uncle google where it is

23 hours ago by Mike Denton via Facebook on Security on the farm: Accounts and permissions
minzhu

Don't blame CEO, they want RIM win. RIM has strange culture and self distruct political environment. In RIM if a new hired person figure out...

1 day ago by minzhu on RIM CEO: Time to squash BlackBerry myths
Thomas Gellhaus

I've been very pleased with Mageia 2. My review went up on Sunday. My only issue is that my particular wireless printer hasn't been detected on...

1 day ago by Thomas Gellhaus via Facebook on Scorecard - Linux Mint 13 and Mageia 2
knapper

That we have :-) Retailers don't buy stuff to lie around in warehouses, particularly with fast moving technology products. If they didn't think...

1 day ago by knapper on Windows Phone, Android take bite out of BlackBerry
JohneKerr

I think that we have been here before, shipments are not equal to sales. Correct?

1 day ago by JohneKerr on Windows Phone, Android take bite out of BlackBerry