9 citations · 12 across the 8 of their papers we have counts for
4 papers · 1 filter
A Matrix Decomposition Method for Odd-Type Gaussian Normal Basis Multiplication
Kittiphon Phalakarn, Athasit Surarerks
Normal basis is used in many applications because of the efficiency of the implementation. However, most space complexity reduction techniques for binary field multiplier are appli…
Optimal Representation for Right-to-Left Parallel Scalar Point Multiplication
Kittiphon Phalakarn, Kittiphop Phalakarn, Vorapong Suppakitpaisarn
This paper introduces an optimal representation for a right-to-left parallel elliptic curve scalar point multiplication. The right-to-left approach is easier to parallelize than th…
Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games
Kittiphon Phalakarn, Yun Chen Tsai, Ichiro Hasuo
For model checking stochastic games (SGs), bounded value iteration (BVI) algorithms have gained attention as efficient approximate methods with rigorous precision guarantees. Howev…
Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)
Yun Chen Tsai, Kittiphon Phalakarn, S. Akshay +1
Markov decision processes (MDPs) are a popular model for decision-making in the presence of uncertainty. The conventional view of MDPs in verification treats them as state transfor…