Noriaki Yoshiura

dblp:19/3755 · DBLP profile ↗
← Back
23ranked-venue papers
6as first author
5since 2021 · last 2025
0000-0001-8831-1871ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 7 · 3 first-author · 3 since 2021Databases, data management, data science and information retrieval · 6 · 1 first-author · 3 since 2021Applied, interdisciplinary, general and emerging computing · 6 · 1 first-author · 1 since 2021Computer networks · 5 · 1 first-authorSoftware engineering, systems software and programming languages · 2 · 1 first-authorGraphics, computer vision, multimedia, augmented reality and games · 2 · 1 first-author · 1 since 2021
YearPublicationVenuePosition
2025 Beyond Face Blurring: Privacy-Preserving Surveillance via Homomorphic Encryption and Encrypted Facial Representations
Sajid Ahmed, Noriaki Yoshiura
ACIVS2
2023 Obfuscating LLVM IR with the Application of Lambda Calculus
Rei Kasuya, Noriaki Yoshiura
ACIIDS (2)2
2022 AntiPhiMBS-TRN: A New Anti-phishing Model to Mitigate Phishing Attacks in Mobile Banking System at Transaction Level
Tej Narayan Thakur, Noriaki Yoshiura
ACIIDS (2)2
2021 AntiPhiMBS: A New Anti-phishing Model to Mitigate Phishing Attacks in Mobile Banking System at Application Level
Tej Narayan Thakur, Noriaki Yoshiura
ACIIDS2
2021 Modeling and Verification of Contactless Mobile Banking System in E-Banking Using SPIN
Tej Narayan Thakur, Noriaki Yoshiura
ICCSA (6)2
2020 Privacy Protection in Location Based Service by Secure Computation
Masato Ishikawa, Noriaki Yoshiura
ACIIDS (2)2
2018 A Browser Application for Keyword Recommendation Based on User Web Search
Chen Kuo, Noriaki Yoshiura
ICCSA (3)2
2018 Model Checking of TTCAN Protocol Using UPPAAL
Noriaki Yoshiura
ICCSA (4)2
2017 The Relation Between Syntax Restriction of Temporal Logic and Properties of Reactive System Specification
Noriaki Yoshiura
ACIIDS (2)1
2016 Computational Verification of Network Programs for Several OpenFlow Switches in Coq
Hiroaki Date, Noriaki Yoshiura
ICCSA (2)2
2015 Extracting Environmental Constraints in Reactive System Specifications
Yuichi Fukaya, Noriaki Yoshiura
ICCSA (4)2
2015 Implementation of Decision Procedure of Stepwise Satisfiability of Reactive System Specifications
Noriaki Yoshiura, Yuma Hirayanagi
ICCSA (4)1
2015 Implementation of Theorem Prover of Relevant Logic
Noriaki Yoshiura
IEA/AIE1
2014 Network operational method by using software-defined networking for improvement of communication quality at disasters
abstract
The Great East Japan Earthquake, which occurred in March 2011, damaged information infrastructure. Latest researches showed that some parts of communication networks are available even immediately after the earthquake. Therefore, connections among the different available parts of communication networks can keep communication quality for damaged areas at disasters. Recently, “Software-Defined Networking (SDN)” is one of the up-and-coming network configuration technologies. SDN is useful for the network operation and connection quality at disasters. This paper describes the problems of the information infrastructure at disasters, proposes a network operation method at disasters using SDN to keep connection quality for disaster areas and implements the proposed method.
Koichi Ogawa, Noriaki Yoshiura
APNOMS2
2012 Test tool for equivalence of access control list
abstract
Computer network security is one of the important issues in the Internet age. Network administrators of organizations such as companies or universities filter IP packets at network equipment such as Layer 3 switch or firewall between their organizations and the Internet to keep the security of the computer networks. One of the expressions of the filtering rules of IP packets is access control list. Access control lists are lists of rules, which describe permission or denial of packet transition based on source IP address, destination IP address, port numbers and so on. Access control lists are not always fixed; network administrators change access control lists according to the change of network topology or network security policy. After several changes, access control lists may include redundancies and network administrators have to modify the access control list to remove redundancies. This modification must keep the semantics of access control list. After modification, the network administrators must confirm that the semantics of access control list does not change. One of the methods of equivalence of two access control lists is to send test IP packets to the network equipment that filters IP packets and to check the transitions of the IP packets. This paper proposes the method of generating test packets to confirm the equivalence of two access control lists.
Hirokazu Sayama, Noriaki Yoshiura
APNOMS2
2012 Applying Tesseract-OCR to detection of image spam mails
abstract
This paper applies Tesseract-OCR, optical character recognition software, to image spam mail filters. Tesseract-OCR can be specific to a certain language and this paper makes Tesseract-OCR specific to spam words. This specialization decreases times and CPU power that it takes to check whether images of mails include spam words. This paper examines the ability of the spam mail filter of Tesseract-OCR by experiment.
Daisuke Yamakawa, Noriaki Yoshiura
APNOMS2
2012 Stepwise Satisfiability Checking Procedure for Reactive System Specifications by Tableau Method and Proof System
Yoshinori Neya, Noriaki Yoshiura
ICFEM2
2010 Analysis of spam mail sent to Japanese mail addresses in the long term
abstract
Today e-mail is a indispensable communication tool because of wide spread of Internet technology and many spam mails are delivered in the Internet. In order to avoid spam mails, spam filter is used in many mail servers or PC. It checks the content, sending address or so on of a mail and decides whether the mail is a spam mail. After spam filter works well to remove spam mails, spam senders improve the methods of sending spam. Spam filter technology and spam sending method make a vicious circle. Ending this vicious circle needs spam mail characteristics including the change according to spam filter improvement. This paper analyzes spam mails which are saved in the long term in order to obtain spam mail characteristics and reports the result of this analysis.
Daisuke Yamakawa, Noriaki Yoshiura
NOMS2
2009 Object Tag Architecture for Innovative Intelligent Transportation Systems
Krishan Sabaragamu Koralalage, Noriaki Yoshiura
ADBIS2
2009 Decreasing Access Control List Processed in Hardware
Takumichi Ishikawa, Noriaki Yoshiura
APNOMS2
2008 Statistical Analysis of Slow Portsweep
Noriaki Yoshiura
APNOMS1
2008 Formal Definition of Relevant Logical Symbol Occurrence
Noriaki Yoshiura
KES (2)1
2004 Finding the Causes of Unrealizability of Reactive System Formal Specifications
Noriaki Yoshiura
SEFM1