M. Arzaki
M. Arzaki
Computing Laboratory, School of Computing, Telkom University
Verified email at telkomuniversity.ac.id
Title
Cited by
Cited by
Year
On the construction of secure public parameters for Megrelishvili protocol
M Arzaki, BA Wahyudi
2016 4th International Conference on Information and Communication …, 2016
82016
Extending Megrelishvili protocol for multi-party key agreement
M Arzaki, BA Wahyudi
2017 5th International Conference on Information and Communication …, 2017
72017
Elementary algorithms analysis of Megrelishvili protocol
M Arzaki
Indonesia Journal on Computing (Indo-JC) 1 (1), 11-23, 2016
72016
Digital Contract Using Block Chaining and Elliptic Curve Based Digital Signature
SA Kalamsyah, AM Barmawi, M Arzaki
2018 6th International Conference on Information and Communication …, 2018
42018
Collision algorithms for breaking Megrelishvili protocol: theory and numerical experiments
M Arzaki, BA Wahyudi
2016 International Conference on Advanced Computer Science and Information …, 2016
42016
On the Generalizations of Megrelishvili Protocol for Group Key Distribution
M Arzaki
Indonesian Journal on Computing (Indo-JC) 2 (2), 55-78, 2017
32017
Note on Elementary Constructions of Self-Dual Codes over Z8
M Arzaki, D Suprijanto
International Mathematical Forum 6 (16), 785-794, 2011
22011
Financial Network Approach for Modeling about Company Bankruptcy
JB Permana, Y Rusmawati, M Arzaki
2019 7th International Conference on Information and Communication …, 2019
12019
Knowledge Representation of Political Parties' Ideological Characteristics Using Formal Concept Analysis
SL Hanum, M Arzaki, Y Rusmawati
2019 International Conference on Electrical Engineering and Informatics …, 2019
12019
Reasoning about the disruption patterns for train system using Bayesian Network and Prolog
YR Pradiawati, Y Rusmawati, M Arzaki
Journal of Physics: Conference Series 1192 (1), 012064, 2019
12019
Formal Verification of Divide and Conquer Key Distribution Protocol Using ProVerif and TLA+
R Dewoprabowo, M Arzaki, Y Rusmawati
2018 International Conference on Advanced Computer Science and Information …, 2018
12018
Verifying Vaccine Supply Chain System in Indonesia Using Linear-Time Temporal Logic
MFS Wikatama, M Arzaki, Y Rusmawati
2018 6th International Conference on Information and Communication …, 2018
12018
Strengthening Megrelishvili Protocol Against Man-in-the-Middle Attack
M Arzaki
2018 6th International Conference on Information and Communication …, 2018
12018
On Generalized Divide and Conquer Approach for Group Key Distribution: Correctness and Complexity
R Dewoprabowo, M Arzaki, Y Rusmawati
2018 6th International Conference on Information and Communication …, 2018
12018
Breaking Megrelishvili protocol using matrix diagonalization
M Arzaki, DT Murdiansyah, SA Prabowo
Journal of Physics: Conference Series 971 (1), 012025, 2018
12018
Construction of the Ontology Design for Political Parties’ Ideological Characteristics
SL Hanum, Y Rusmawati, M Arzaki
2019 International Conference on Advanced Computer Science and information …, 2019
2019
Reasoning about the Cascading Failure of Financial Network Using Prolog
JB Permana, M Arzaki, Y Rusmawati
2019 International Conference on Advanced Computer Science and information …, 2019
2019
Constructing a One-time and a Few-time Digital Signature Schemes from the Hardness of Megrelishvili Vector-Matrix Problem
M Arzaki
2019 7th International Conference on Information and Communication …, 2019
2019
Reasoning about Traffic Signals Controller for Intersection with Contraflow Lanes for Bus Rapid Transit Using Linear-time Temporal Logic
M Arzaki, Y Rusmawati, AK Kusnadi, SA Atmawardhana
2018 International Conference on Advanced Computer Science and Information …, 2018
2018
Translation of an Allen’s temporal logic variant to RPNL
M Arzaki, AS Nugraha
J. Math. Comput. Sci. 3 (6), 1405-1429, 2013
2013
The system can't perform the operation now. Try again later.
Articles 1–20