Noriaki Yoshiura

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 18

Top Topics

Lambda Calculus

Top Venues

Publications

Rei Kasuya, Noriaki Yoshiura
Obfuscating LLVM IR with the Application of Lambda Calculus. ACIIDS (2) (2023)
Tej Narayan Thakur, Noriaki Yoshiura
AntiPhiMBS-TRN: A New Anti-phishing Model to Mitigate Phishing Attacks in Mobile Banking System at Transaction Level. ACIIDS (2) (2022)
Kohichi Ogawa, Nobukuni Hamamoto, Noriaki Yoshiura
Smart Help Desk to support user's PC settings. ICCE-TW (2022)
Tej Narayan Thakur, Noriaki Yoshiura
Modeling and Verification of a Hybrid Model of Mobile Banking Based Branchless Banking System in E-Banking Using SPIN. ICSCA (2022)
Tej Narayan Thakur, Noriaki Yoshiura
AntiPhiMBS: A New Anti-phishing Model to Mitigate Phishing Attacks in Mobile Banking System at Application Level. ACIIDS (2021)
Tej Narayan Thakur, Noriaki Yoshiura
AntiPhiMBS-Auth: A New Anti-phishing Model to Mitigate Phishing Attacks in Mobile Banking System at Authentication Level. DASFAA (Workshops) (2021)
Tej Narayan Thakur, Noriaki Yoshiura
Modeling and Verification of Contactless Mobile Banking System in E-Banking Using SPIN. ICCSA (6) (2021)
Masato Ishikawa, Noriaki Yoshiura
Privacy Protection in Location Based Service by Secure Computation. ACIIDS (2) (2020)
Noriaki Yoshiura, Keigo Sugiyama
Packet Reachability Verification in OpenFlow Networks. ICSCA (2020)
Noriaki Yoshiura, Kento Koizumi
A Method of Collecting the IP Addresses of Hidden Server in Tor Networks. ICSCA (2020)
Noriaki Yoshiura, Kaichiro Iida
Identification of Writing on Bulletin Board via Tor. ICSIM (2020)
Noriaki Yoshiura, Hayata Yano
IP Traceback method by OpenFlow. ICSIM (2020)
Shuxin Liu, Noriaki Yoshiura
Model Checking of TTCAN Protocol Using UPPAAL. ICCSA (4) (2018)
Kohichi Ogawa, Noriaki Yoshiura
Development of a Support System to Resolve Network Troubles by Mobile Robots. IDCS (2018)
Chen Kuo, Noriaki Yoshiura
A Browser Application for Keyword Recommendation Based on User Web Search. ICCSA (3) (2018)
Noriaki Yoshiura
The Relation Between Syntax Restriction of Temporal Logic and Properties of Reactive System Specification. ACIIDS (2) (2017)
Yusaku Fujii, Noriaki Yoshiura, Naoya Ohta, Akihiro Takita, Hiroshi Ueda, Koichi Maru
Abuse Prevention of Street Camera Network by Browsing-History Disclosure. J. Community Informatics 12 (1) (2016)
Hiroaki Date, Noriaki Yoshiura
Computational Verification of Network Programs for Several OpenFlow Switches in Coq. ICCSA (2) (2016)
Yuichi Fukaya, Noriaki Yoshiura
Extracting Environmental Constraints in Reactive System Specifications. ICCSA (4) (2015)
Noriaki Yoshiura, Yuma Hirayanagi
Implementation of Decision Procedure of Stepwise Satisfiability of Reactive System Specifications. ICCSA (4) (2015)
Noriaki Yoshiura
Implementation of Theorem Prover of Relevant Logic. IEA/AIE (2015)
Koichi Ogawa, Noriaki Yoshiura
Network operational method by using software-defined networking for improvement of communication quality at disasters. APNOMS (2014)
Noriaki Yoshiura, Keita Omi
Resolving Fallback and Path MTU Problems Caused by Denying ICMP Packets in IPv6. IDCS (2014)
Noriaki Yoshiura, Wei Wei
Static Data Race Detection for Java Programs with Dynamic Class Loading. IDCS (2014)
Natsuki Kimura, Noriaki Yoshiura
Construction and Verification of Mobile Ad Hoc Network Protocols. CSS (2013)
Yusaku Fujii, Noriaki Yoshiura, Akihiro Takita, Naoya Ohta
Smart street light system with energy saving function based on the sensor network. e-Energy (2013)
Shunichi Yokoo, Noriaki Yoshiura
Indicating Important Parts in Searched Web Pages by Retrieval Keywords. BSI@PAKDD/BSIC@IJCAI (2013)
Kohichi Ogawa, Noriaki Yoshiura
Operational experiences from the viewpoint of university IT system administrators in the metropolitan area on east Japan great earthquake. SIGUCCS (2012)
Yoshinori Neya, Noriaki Yoshiura
Stepwise Satisfiability Checking Procedure for Reactive System Specifications by Tableau Method and Proof System. ICFEM (2012)
Hirokazu Sayama, Noriaki Yoshiura
Test tool for equivalence of access control list. APNOMS (2012)
Daisuke Yamakawa, Noriaki Yoshiura
Applying Tesseract-OCR to detection of image spam mails. APNOMS (2012)
Daisuke Yamakawa, Noriaki Yoshiura
Analysis of spam mail sent to Japanese mail addresses in the long term. NOMS (2010)
Krishan Sabaragamu Koralalage, Noriaki Yoshiura
Object Tag Architecture for Innovative Intelligent Transportation Systems. ADBIS (2009)
Takumichi Ishikawa, Noriaki Yoshiura
Decreasing Access Control List Processed in Hardware. APNOMS (2009)
Krishan Sabaragamu Koralalage, Noriaki Yoshiura
OTag: Architecture to Represent Real World Objects in RF Tags to Improve Future Intelligent Transportation Systems. J. Convergence Inf. Technol. 4 (2) (2009)
Krishan Sabaragamu Koralalage, Noriaki Yoshiura
iRail: A novel architecture towards autonomous locomotives and intelligent infrastructures for developing countries. ITSC (2009)
Krishan Sabaragamu Koralalage, Noriaki Yoshiura
iPark: A Universal Solution for Vehicle Parking. WSKS (1) (2009)
Krishan Sabaragamu Koralalage, Noriaki Yoshiura
uCard: A Novel Privacy Friendly Radio Frequency Tag Architecture for Universal Loyalty Card. DigiBiz (2009)
Noriaki Yoshiura
Statistical Analysis of Slow Portsweep. APNOMS (2008)
Noriaki Yoshiura
Formal Definition of Relevant Logical Symbol Occurrence. KES (2) (2008)
Takanori Moroi, Noriaki Yoshiura
Discovering Web Pages Censored by Search Engines in Japan. CIMCA/IAWTIC/ISE (2008)
Michihiro Inoue, Noriaki Yoshiura, Yoshikuni Onozato
Effect of Mobility on Communication Performance in Overloaded One-Dimensional Cellular Networks. ICDCIT (2005)
Yusaku Fujii, Noriaki Yoshiura, Naoya Ohta
Community Security By Widely Available Information Technology. J. Community Informatics 2 (1) (2005)
Noriaki Yoshiura
Finding the Causes of Unrealizability of Reactive System Formal Specifications. SEFM (2004)
Noriaki Yoshiura
Decision Procedures for Several Properties of Reactive System Specifications. ISSS (2003)
Noriaki Yoshiura
Evolution Mechanism of Reactive System Programs. IWPSE (2001)
Noriaki Yoshiura, Naoki Yonezaki
More Expressive Temporal Logic for Specifications. SEKE (1993)