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

  Main Menu
   Home
   Syllabus
   Assignments
   Grades
   Calendar
   Discussion Area
   Links
   Resources


Announcments

  1394-04-13 July 04, 2015 06:51 AM  
Final Detailed Grades

You can find your grades here.
The grades will be finalised in EDU in 16th of Tir.

  1394-04-06 June 27, 2015 09:32 AM  
Presentations

The presentations session will be held on Sunday, 7th of Tir, from 9.00 to 13.15, at room 103. The time table has been uploaded in the Assignment page.

  1394-04-04 June 25, 2015 08:19 PM  
Assignment#4 Grades

You can see your grades in Grades section.

  1394-03-29 June 19, 2015 11:49 AM  
Assignment#2 and Assignment#3 Grades

You can see your grades in Grades section.

  1394-03-26 June 16, 2015 01:59 PM  
Final Exam Grades

You can find your grades here.
You can see your papers from 27th to 31h of Khordad.

  1394-03-19 June 09, 2015 10:13 AM  
Please be informed that the deadline for Assignment#4 has been extended. The new deadline is 3th of Tir. This deadline cannot be further extended.

  1394-03-12 June 02, 2015 06:28 PM  
Assignment #4

The fourth assignment has been uploaded in the Assignment page.
The deadline is 22th of Khordad.

  1394-03-10 May 31, 2015 01:57 PM  
Midterm Exam Grades

Find your grades in Grades section.

  1394-03-05 May 26, 2015 09:40 AM  
New version of the lecture notes file has been uploaded.

  1394-03-03 May 24, 2015 11:43 AM  
Reference papers have been uploaded.

  1394-02-23 May 13, 2015 11:04 AM  
Assignment #2 Grades

You can see your grades in Grades section.

  1394-02-23 May 13, 2015 04:25 AM  
Please be informed that the deadline for Assignment#3 has been extended. The new deadline is Friday 1th of Khordad. This deadline cannot be further extended.

  1394-02-13 May 03, 2015 11:45 AM  
Assignment #3

The third assignment has been uploaded in the Assignment page.
The deadline is 28th of Ordibehesht.

  1394-01-04 March 24, 2015 06:40 PM  
Assignment #1 Grades

You can see your grades in Grades section.

  1393-12-27 March 18, 2015 08:34 AM  
Assignment #2

The second assignment has been uploaded in the Assignment page.
The deadline is 21th of Farvardin.

  1393-12-23 March 14, 2015 01:31 PM  
The class will not be held in the last week of 93.

  1393-12-21 March 12, 2015 05:39 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 in the Assignment page.

  1393-12-17 March 08, 2015 09:45 AM  
Please be informed that the deadline for Assignment#1 has been extended. The new deadline is Friday 22th of Esfand. This deadline cannot be further extended.

  1393-12-02 February 21, 2015 05:24 PM  
Assignment #1

The first assignment has been uploaded in the Assignment page.
The deadline is 17th of Esfand.

  1393-11-13 February 02, 2015 01:38 PM  
You can find the lecture notes here.

  1393-11-13 February 02, 2015 01:33 PM  
Happy New semester!

Instructor:
Morteza Amini
(amini [AT] sharif)

3 Units
9.00 - 10.30 - Sun-Tue
Room: 006
















 This website is visited 1239 times since February 2015. Updated Saturday 2015-07-04 06:51