More… Starting from , we have performed a complete reimplementation of the initial prototype, with the goal to overcome several of its limitations. The development of EasyCrypt was initiated in , and the initial prototype was used to prove the security of several constructions, including the Cramer-Shoup encryption scheme, the Merkle-Damgaard iterative hash function design, and of the ZAEP encryption scheme. Decrypting a file is done in a similar manner. We cannot delete packages without evidence that they exhibit malicious behavior. Moreover, we have formalized a proof of security for authenticated key-exchange protocols, and derived proofs under weaker assumptions for the NAXOS and NETS protocols. As applicable under 17 U. Plus, you can adjust the opacity of the primary application window. 
| Uploader: | Mishakar |
| Date Added: | 8 September 2015 |
| File Size: | 58.34 Mb |
| Operating Systems: | Windows NT/2000/XP/2003/2003/7/8/10 MacOS 10/X |
| Downloads: | 90721 |
| Price: | Free* [*Free Regsitration Required] |
EasyCrypt APK - download free apk from APKSum
Plus, you can adjust the opacity of the primary application window. Last modified 20 months ago Last modified on 12 Feb Before initializing the encryption procedure, you are required you specify the temporary directory. Click to load comments. To achieve its goals, EasyCrypt implements a probabilistic Hoare logic pHL for bounding the probability of post-conditions, and embeds pRHL and pHL into an ambient logic that 10 for instance be used to perform hybrid arguments. Note that the current release of EasyCrypt is still being developed.
In addition, it implements a module system and a theory mechanism that support compositional proofs.
EasyCrypt: Computer-Aided Cryptographic Proofs
EasyCrypt doesn't strive in the visual department, but we must take into account that the app has not been updated for a very long time.
We do not guarantee backwards compatibility. The development of EasyCrypt was initiated inand the initial prototype was used to prove the security of several constructions, including 10. Cramer-Shoup encryption scheme, the Merkle-Damgaard iterative hash function design, and of the ZAEP encryption scheme. In addition, you can securely erase an item from the computer, set to EasyCrypt run in the system tray area at startup, as well as to automatically run at Windows boot.
No error dialogs have been shown in our tests and easyccrypt app did not hang or crash.
If you are reporting copyright infringement, please describe the copyrighted material with particularity and provide us with information about your copyright i. Overview Downloads EasyCrypt 0.
Download EasyCrypt
On the other hand, EasyCrypt implies going through the trouble of creating a secondary file that you must keep somewhere safe, easycrylt order to decrypt the original item, while other tools are more powerful in the file security area.
Yao's secure function evaluation protocol and Gennaro-Gentry-Parno verifiable computation protocol. Context navigation Start page Index History. Moreover, we have formalized a proof of security for authenticated key-exchange protocols, easyvrypt derived proofs under weaker assumptions for the Fasycrypt and NETS protocols.
This form is for reporting abusive packages such as packages containing malicious code or spam. EasyCrypt is a tiny utility that gives you the possibility of encrypting a file by creating a key file as a form of dependency. June 5, Freeware. Details Please provide a detailed description of the problem. Visit the Trac open source project at http: Its main application is the construction and verification of game-based cryptographic proofs.
These developments have expanded significantly the scope of potential applications of EasyCrypt and enabled the formalization of examples that were previously out of reach of the initial prototype. EasyCrypt finishes an encryption easycrhpt rapidly while using a low-to-moderate quantity of CPU and system memory, thus it doesn't hog the computer resources. Download in other formats: For instance, we have formalized the security of two protocols based on garbled circuits: Decrypting a file is done in a similar manner.
Powered by Trac 1. Starting fromwe have performed a complete reimplementation of the initial prototype, with the goal to overcome several of its limitations. The current release of EasyCrypt version 1.
EasyCrypt was reviewed by Elena Opris. Please provide a detailed abuse report with evidence to support your claim! For trademark infringement, include the name of your trademark, registration number, and country where registered. So, you can point out the file that you want to encrypt, establish the output directory and file name, as well as generate a key file, based on the security level that you decide.
More… Starting fromwe have performed a complete reimplementation of the initial prototype, with the goal to overcome several of its limitations.
No comments:
Post a Comment