Find Jobs
Hire Freelancers

Model a protocol in tamarin prover.

$40-60 USD

Chiuso
Pubblicato più di 2 anni fa

$40-60 USD

Pagato al completamento
I need to implement a protocol based on a article in Tamarin. It's probably not a lot of work, few hours perhaps. More info in dm.
Rif. progetto: 32281765

Info sul progetto

Progetto a distanza
Attivo 2 anni fa

Hai voglia di guadagnare un po'?

I vantaggi delle offerte su Freelancer

Imposta il tuo budget e le scadenze
Fatti pagare per il lavoro svolto
Delinea la tua proposta
La registrazione e le offerte sui lavori sono gratuite

Info sul cliente

Bandiera: POLAND
Międzyrzecz, Poland
0,0
0
Membro dal set 13, 2021

Verifica del cliente

Grazie! Ti abbiamo inviato tramite email il link per richiedere il tuo bonus gratuito.
Non è stato possibile inviarti l'email. Riprova per piacere.
di utenti registrati di lavori pubblicati
Freelancer ® is a registered Trademark of Freelancer Technology Pty Limited (ACN 142 189 759)
Copyright © 2024 Freelancer Technology Pty Limited (ACN 142 189 759)
Caricamento anteprima
Autorizzazione per la geolocalizzazione concessa.
La tua sessione è scaduta ed è stato effettuato il log out. Accedi nuovamente per piacere.