Skip to main content
Share Your Experience: Take the 2024 Developer Survey

Questions tagged [formal-verification]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
4 votes
2 answers
5k views

How does Uber PIN ("Verify my Ride") feature secure anything?

Haven't been using Uber for quite a while and now just bumped into this feature called "Verify my Ride": Verify Your Ride is a PIN verification feature that provides an optional extra layer ...
Greendrake's user avatar
2 votes
1 answer
156 views

Is there some way to verify that what I think I encrypted is actually what was encrypted when I don't have the private key? (PGP) [duplicate]

Let's say that Joe gives his PGP public key to Sue so that Sue can send Joe a secret message. Sue opens her PGP/GPG program, types I'm in love with Joe! and encrypts the message with Joe's public key. ...
Zymeir's user avatar
  • 21
5 votes
1 answer
582 views

How can wrong time synchronization be exploited?

It happened to me a few times that I installed a Windows PC after the CMOS battery has been replaced and all sorts of things stopped working or threw security warnings, only to realize that I just ...
Andrei's user avatar
  • 229
2 votes
2 answers
182 views

Get security certificate for secure Laptops etc

I am learning a bit about IT-Security and I wonder if there is a concept where you can get certificates for a specific device that approves the device is safe and not compromised. Lets say you want ...
hadamard's user avatar
  • 125
0 votes
0 answers
119 views

Most accessible yet secure way to verify a user over the phone who has an account online

We have a service where people register online and log fairly sensitive records. They might want to phone up and ask for a status update on these records. At the time they are calling, they may not ...
Digital Skateboarders's user avatar
1 vote
0 answers
107 views

Formal verification of security protocols

When you try to verify security protocols you have to do a lot of different steps like formalizing a simpler version based on a extremely complex real protocol using some extended Dolev Yao model. ...
Silence and I's user avatar
1 vote
1 answer
156 views

Automated tools for applying formal methods to verify security policy in existing software

I am new to the Formal Methods arena, but I feel I have an educated grasp on its applications. However, I only seem to encounter formal methods as applied to the development process, as the software ...
Methmal Forods 's user avatar
-1 votes
2 answers
216 views

What is the best formal method to prove the privacy (anonymity) of a security protocol

I am studying about TOR. I require to formally verify that the involved protocols provide anonymity. However, I could not find a suitable formalism of anonymity. If there exist any formulation/...
remo's user avatar
  • 103
12 votes
7 answers
4k views

How does formal verification guarantee secure, error-free code?

I've read that code is formally verified by constructing a mathematical model of the code, and then a formal proof is provided to demonstrate that this model meets certain requirements. How does ...
viv's user avatar
  • 667