Arvutiteaduse instituut
  1. Kursused
  2. 2014/15 kevad
  3. Verification of cryptography with EasyCrypt (MTAT.07.030)
EN
Logi sisse

Verification of cryptography with EasyCrypt 2014/15 kevad

  • Main
  • Installing Easycrypt

There is a Virtual Box image in \\math.ut.ee\materjalid\easycrypt\VM. Just copy it to your own hard disk and run the contained Ubuntu.

If you wish to install EasyCrypt on your own Linux laptop (~1 GB hard disk space), you can execute the following steps:

  • sudo apt-get update
  • sudo apt-get install emacs git m4 autoconf build-essential curl libgmp-dev mathpartir libantlr3c-dev libboost-dev zlib1g-dev latexmk texlive texlive-latex-extra texlive-fonts-extra texlive-math-extra
  • sudo mkdir -p /opt/easycrypt
  • sudo chown "$USER" /opt/easycrypt
  • cd /opt/easycrypt/
  • git clone git://ci.easycrypt.info/easycrypt .
  • make toolchain
  • . scripts/activate-toolchain.sh
  • make provers
  • make
  • make -C proofgeneral local
  • make -C doc/userman
  • make -C doc/refman

After this, you can run ProofGeneral using:

  • cd /opt/easycrypt
  • make pg

And then just open/create any *.ec file and start editing.

Mac

On Mac, similar steps will work, however, the first two lines (calling sudo apt-get) will have to be omitted (and you need to figure out which dependencies should be installed and how.

Furthermore, you may need to set the following environment variables:

export C_INCLUDE_PATH=/opt/local/include
export LIBRARY_PATH=/opt/local/lib 

I have not tested this myself since I do not have a Mac.

  • Arvutiteaduse instituut
  • Loodus- ja täppisteaduste valdkond
  • Tartu Ülikool
Tehniliste probleemide või küsimuste korral kirjuta:

Kursuse sisu ja korralduslike küsimustega pöörduge kursuse korraldajate poole.
Õppematerjalide varalised autoriõigused kuuluvad Tartu Ülikoolile. Õppematerjalide kasutamine on lubatud autoriõiguse seaduses ettenähtud teose vaba kasutamise eesmärkidel ja tingimustel. Õppematerjalide kasutamisel on kasutaja kohustatud viitama õppematerjalide autorile.
Õppematerjalide kasutamine muudel eesmärkidel on lubatud ainult Tartu Ülikooli eelneval kirjalikul nõusolekul.
Tartu Ülikooli arvutiteaduse instituudi kursuste läbiviimist toetavad järgmised programmid:
euroopa sotsiaalfondi logo