Need a small project done in Tamarin Prover or Proverif -- 2

$10-30 USD

Closed

Posted

over 2 years ago

$10-30 USD

Paid on delivery

I need to implement a communication protocol in either Tamarin or Proverif. It's probably not a lot of work, few hours perhaps.

Cryptography

Telecommunications Engineering

Communications

Project ID: 31485440

About the project

2 proposals

Remote project

Active 3 yrs ago

Looking to make some money?

Email address

Benefits of bidding on Freelancer

Set your budget and timeframe

Get paid for your work

Outline your proposal

It's free to sign up and bid on jobs

2 freelancers are bidding on average $33 USD for this job

@sam0023j

Good day! I can assist you with your small project. Please check out my previous work and reviews here on my profile: https://www.freelancer.com/u/sam0023j?w=f&ngsw-bypass= Would you like to tell me about the deadline? Best regards,

$35 USD in 1 day

5.0

(1 review)

1.5

@DoctorGaitho42

Experienced in ELECTRICAL , ELECTRONICS & COMPUTER ENGINEERING With a demonstrated History of Academia in the Field of Engineering. I have research, Design and Theoretical knowledge in; Electronic Design and prototyping, Embedded( PCB circuit design and Analysis), Network Automation, Wireless Networks( RAN & RNPO),Optical Networks (Transmission & IP), Deep Learning, RF and Microwave engineering All ,Programming languages, Object detection and Computer vision, signal processing & Machine learning, Able to Use Design & Simulation Softwares i.e MATLAB, OPTIWAVE,SYNOPSYS, QUICKFIELD, PROTEUS,AUTOCAD & MAYA.

$30 USD in 2 days