VLDB 2026 Research / reviewers in the wild / expert
Noriaki Yoshiura
dblp:19/3755
· DBLP profile ↗
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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Beyond Face Blurring: Privacy-Preserving Surveillance via Homomorphic Encryption and Encrypted Facial Representations
Sajid Ahmed, Noriaki Yoshiura |
ACIVS | 2 |
| 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 |
ACIIDS | 2 |
| 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/AIE | 1 |
| 2014 | Network operational method by using software-defined networking for improvement of communication quality at disastersabstractThe 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 |
APNOMS | 2 |
| 2012 | Test tool for equivalence of access control listabstractComputer 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 |
APNOMS | 2 |
| 2012 | Applying Tesseract-OCR to detection of image spam mailsabstractThis 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 |
APNOMS | 2 |
| 2012 | Stepwise Satisfiability Checking Procedure for Reactive System Specifications by Tableau Method and Proof System
Yoshinori Neya, Noriaki Yoshiura |
ICFEM | 2 |
| 2010 | Analysis of spam mail sent to Japanese mail addresses in the long termabstractToday 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 |
NOMS | 2 |
| 2009 | Object Tag Architecture for Innovative Intelligent Transportation Systems
Krishan Sabaragamu Koralalage, Noriaki Yoshiura |
ADBIS | 2 |
| 2009 | Decreasing Access Control List Processed in Hardware
Takumichi Ishikawa, Noriaki Yoshiura |
APNOMS | 2 |
| 2008 | Statistical Analysis of Slow Portsweep
Noriaki Yoshiura |
APNOMS | 1 |
| 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 |
SEFM | 1 |