Workshop on Design and Cryptanalysis of eVoting Protocols

شرکت برای دانشجویان شریف رایگان است

1st Design and Cryptanalysis of E-Voting Protocols Workshop in Iran
 6th Workshop of SBiSC@SUT, 26 May 2011
Kahroba Hall, Department of Electrical Engineering, Sharif University of Technology
اولین کارگاه علمی طراحی و تحلیل پروتکل های رای گیری الکترونیکی در ایران
ششمین کارگاه شاخه دانشجویی انجمن رمز ایران در دانشگاه صنعتی شریف
5 خرداد 1390، سالن کهربای دانشکده مهندسی برق دانشگاه صنعتی شریف

8-9

 پذیرش و افتتاحیه



9-9:40

 دکتر محمود سلماسی زاده (سخنران مدعو)

سخنرانی کلیدی


9:40-10:20

 محمد حسین فرشچی (دانشجوی کارشناسی ارشد)

طرح های رأی گیری ایستگاهی


10:20-10:50

 پذیرایی



10:50-11:30

زهرا احمدیان (دانشجوی دکتری)

مبانی طرح های رأی گیری الکترونیکی

11:30-12:10

مریم رجب زاده عصار (دانشجوی دکتری)

طرح های رأی گیری اینترنتی


12:10-13:30

ناهار و نماز



13:30-14:10

امیر صنعی (کارشناسی ارشد)

روند اجرایی سیستم های رأی گیری الکترونیکی


14:10-14:40

مریم رجب زاده عصار (دانشجوی دکتری)

مدل پیشگوی تصادفی و کاربرد آن در رأی گیری الکترونیکی


14:40-15

پذیرایی



15-15:40

نسا عسگریان (دانشجوی کارشناسی ارشد)

نظریه بازی ها و کاربرد آن در ارزیابی رأی گیری الکترونیکی


15:40-16:30

حمید رضا محروقی (دانشجوی دکتری)

روش های صوری و کاربرد آن در رأی گیری الکترونیکی


16:30-17

اختتامیه


Comments

Post a Comment

Popular posts from this blog

System and methods for UICC-based secure communication

ABSTRACT A system that incorporates the subject disclosure may include, for example, instructions which when executed cause a device processor to perform operations comprising sending a service request to a remote management server; receiving from the management server an authentication management function and an encryption key generator for execution by a secure element and an encryption engine for execution by a secure device processor, sending a request to establish a communication session with a remote device; and communicating with the remote device via a channel established using an application server. The secure element and the secure device processor authenticate each other using a mutual authentication keyset. The secure element, the secure device processor and the device processor each have a security level associated therewith; the security level associated with the secure device processor is intermediate between that of the secure element and that of the device processor....
Read more

Computer Vision Keywords

2D attacks 2D Face 2D Face Authentication 3D blood flow estimation 3D Face 3D Face Localisation 3D face model 3D face recognition 3D localization 3D Masks 3D model base indexing 3D object recognition abnormality detection accelerated exact k-means Accent Identification Accented speech Accentual mismatch accessible games acoustic frequency Acoustic model adaptation acoustic modeling Acoustic reverberation sparsity models Acoustic reverberation structures Acoustic signal processing acoustic stream acquisition ACT metric activation function active shape model activity Actor–critic Ad hoc array calibration Ad hoc microphone array calibration Adaboost adalaine adaptive exploration/exploitation trade-off adaptive learning rate adaptive resonance theory adaptive steepness Addressee estimation Adequacy of diffuseness Ad-hoc microphone array Adhoc microphone array calibration Ad-hoc microphone array calibration Ad-hoc microphone calibration AFC A...
Read more