Arş. Gör. Dr. Murat MORAN - Matematik

ÖZGEÇMİŞ
1. Adı Soyadı
: Murat MORAN
Adres
: Giresun Üniversitesi, Fen Edebiyat Fakültesi, Gazipaşa Yerleşkesi, Giresun
Telefon
E-posta
: 0 (454) 310 14 00
: [email protected]
2. Doğum Tarihi
: 1980
3. Unvanı
: Arş. Gör. Dr
4. Öğrenim Durumu
: Doktora
Derece
Lisans
Yüksek Lisans
Doktora
Alan
Matematik
Bilgisayar Güvenliği
Güvenlik Protokolleri
Analizi
Üniversite
Ankara Üniversitesi
Essex Üniversitesi
Yıl
2002
2008
Surrey Üniversitesi
2014
5. Akademik Unvanlar
Unvan
Ars. Gor. Dr
Üniversite
Giresun Üniversitesi
Fakülte
Fen Edebiyat Fakültesi
Yıl
2014
6. Yönetilen Yüksek Lisans ve Doktora Tezleri
6.1. Yüksek Lisans Tezleri
6.2. Doktora Tezleri
7. Yayınlar
7.1. Uluslar arası hakemli dergilerde yayınlanan makaleler
Moran, M., Heather J., Schneider, S.A.: Verifying Anonymity in Voting Systems Using
CSP. Formal Aspects of Computing, 10.1007/s00165-012-0268-x
2. Murat Moran, James Heather, and Steve Schneider. Automated verification of
ThreeBallot and VAV voting systems. Software and Systems Modelling journal, To
appear.
1.
7.2. Uluslar arası bilimsel toplantılarda sunulan ve bildiri kitabında (Proceeding) basılan bildiriler
Murat Moran and James Heather. Automated Analysis of Voting Systems with DolevYao Intruder Model. In AVoCS 2013, September 2013.
2. Murat Moran, James Heather, and Steve Schneider. Automated anonymity verification of
the ThreeBallot voting system. In iFM 2013, June 2013.
3. Moran M, Heather J, Schneider S.A.. Anonymity and CSP for Voting Systems. In
Limerick: CryptoForma 2011.
1.
7.3. Yazılan Uluslar arası kitaplar veya kitaplarda bölümler
7.4. Ulusal hakemli dergilerde yayınlanan makaleler
7.5. Ulusal bilimsel toplantılarda sunulan bildiri kitabında basılan bildiriler
7.6 Diğer Yayınlar
8.Projeler
Guvenilir Oy Kullanma Sistemleri (Trustworthy Voting Systems project - TVS), Surrey Üniversitesi
9.İdari Görevler
10.Bilimsel Kuruluşlara Üyelikleri
11.Ödüller
MEB Yurt Dışı Lisans Üstü Eğitim Bursu, 2007-2014
12.Son iki yılda verdiği lisans ve lisansüstü düzeyindeki dersler
Akademik Yıl
Dönem
Dersin Adı
Haftalık Saati
Teorik
* İşaretli dersler, yüksek lisans dersleridir.
Öğrenci
Uygulama Sayısı