Formal Methods for Information Security 40873 
  CE Department- Sharif University of Technology 92-93-2 - Group 1 

  Main Menu
   Home
   Syllabus
   Assignments
   Grades
   Calendar
   Discussion Area
   Links
   Resources


Announcments

  1393-04-14 July 05, 2014 11:16 AM  
Final Grades

You can see the detailed grades here.
If there is any mistake in the grades, please let me know by Tuesday. I will finalize your grades in the EDU system on Tuesday.

  1393-04-14 July 05, 2014 11:12 AM  
Assignment #3 Grades

You can see your grades here.

  1393-04-07 June 28, 2014 06:47 AM  
Presentations

The presentations session will be held on Saturday, 14th of Tir, from 9.30 to 12.30 based on the following time table.
1- Morteza Noferesti    9.30-10.25
2- Narges Fazelidoust  10.30-10.55
3- Fereshteh Hashemi  11.00-11.25
4- Farzam Fani            11.30-11.55
5- Amir Nouri              12.00-12.25

Please consider the criteria mentioned for a good presentation in the research project definition page.

  1393-04-07 June 28, 2014 05:52 AM  
Thanks to the students gave comment on the definition of GNI. In the definition of GNI, T1 is not necessarily an acceptable trace.
Based on this fact, your answers to the last question of the second assignment have been reviewed and the grades have been updated.

  1393-04-07 June 28, 2014 06:00 AM  
Final Exam Grades

You can find your grades here. You can refer to my room too see your papers in the next week.

  1393-03-27 June 17, 2014 01:32 PM  
Objections have been considered and new midterm exam grades have been uploaded. You can find it here.

  1393-03-10 May 31, 2014 07:51 AM  
Assignment #3
The third assignment has been uploaded in the Assignments page.
The deadline is 10th of Tir.

  1393-03-10 May 31, 2014 07:50 AM  
Assignment #2 Grades

You can see your grades here.

  1393-03-03 May 24, 2014 11:13 AM  
Midterm and Assignment#1 Grades

You can find your grades here.

  1393-02-15 May 05, 2014 12:45 PM  
New version of the lecture notes has been uploaded!

  1393-02-13 May 03, 2014 09:47 AM  
Assignment #2
The second assignment has been uploaded in the Assignment page.
The deadline is 31th of Ordibehesht.

  1392-12-24 March 15, 2014 12:06 PM  
Research Project
You should choose a topic, do research (read the related papers), and prepare a presentation as a project of this course. More details can be find here.

  1392-12-24 March 15, 2014 12:07 PM  
Assignment #1
The first assignment has been uploaded in the Assignment page.
The deadline is 20th of Farvardin.

  1392-11-15 February 04, 2014 08:04 AM  
The first version of the lecture notes has been uploaded here.

  1392-11-15 February 04, 2014 08:02 AM  
Happy New Semester!

Instructor:
Morteza Amini
(amini [AT] sharif)

3 Units
13.30-15.00 Sun-Tue
















 This website is visited 2760 times since February 2014. Updated Monday 2020-09-07 09:28