Skip to content

Noriaki Yoshiura

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

27

Venues

14

Active years

1993–2025

Best venue rank

C

Where they publish

Papers

27 indexed papers, newest first.

YearVenueTitleAuthors
2025ACIVSBeyond Face Blurring: Privacy-Preserving Surveillance via Homomorphic Encryption and Encrypted Facial Representations.Sajid Ahmed, Noriaki Yoshiura
2023ACIIDSObfuscating LLVM IR with the Application of Lambda Calculus.Rei Kasuya, Noriaki Yoshiura
2022ACIIDSAntiPhiMBS-TRN: A New Anti-phishing Model to Mitigate Phishing Attacks in Mobile Banking System at Transaction Level.Tej Narayan Thakur, Noriaki Yoshiura
2021ACIIDSAntiPhiMBS: A New Anti-phishing Model to Mitigate Phishing Attacks in Mobile Banking System at Application Level.Tej Narayan Thakur, Noriaki Yoshiura
2021DASFAAAntiPhiMBS-Auth: A New Anti-phishing Model to Mitigate Phishing Attacks in Mobile Banking System at Authentication Level.Tej Narayan Thakur, Noriaki Yoshiura
2021ICCSAModeling and Verification of Contactless Mobile Banking System in E-Banking Using SPIN.Tej Narayan Thakur, Noriaki Yoshiura
2020ACIIDSPrivacy Protection in Location Based Service by Secure Computation.Masato Ishikawa, Noriaki Yoshiura
2018ICCSAA Browser Application for Keyword Recommendation Based on User Web Search.Chen Kuo, Noriaki Yoshiura
2018ICCSAModel Checking of TTCAN Protocol Using UPPAAL.Shuxin Liu, Noriaki Yoshiura
2017ACIIDSThe Relation Between Syntax Restriction of Temporal Logic and Properties of Reactive System Specification.Noriaki Yoshiura
2016ICCSAComputational Verification of Network Programs for Several OpenFlow Switches in Coq.Hiroaki Date, Noriaki Yoshiura
2015ICCSAExtracting Environmental Constraints in Reactive System Specifications.Yuichi Fukaya, Noriaki Yoshiura
2015ICCSAImplementation of Decision Procedure of Stepwise Satisfiability of Reactive System Specifications.Noriaki Yoshiura, Yuma Hirayanagi
2014APNOMSNetwork operational method by using software-defined networking for improvement of communication quality at disasters.Koichi Ogawa, Noriaki Yoshiura
2013PAKDDIndicating Important Parts in Searched Web Pages by Retrieval Keywords.Shunichi Yokoo, Noriaki Yoshiura
2012APNOMSTest tool for equivalence of access control list.Hirokazu Sayama, Noriaki Yoshiura
2012APNOMSApplying Tesseract-OCR to detection of image spam mails.Daisuke Yamakawa, Noriaki Yoshiura
2012ICFEMStepwise Satisfiability Checking Procedure for Reactive System Specifications by Tableau Method and Proof System.Yoshinori Neya, Noriaki Yoshiura
2012SIGUCCSOperational experiences from the viewpoint of university IT system administrators in the metropolitan area on east Japan great earthquake.Kohichi Ogawa, Noriaki Yoshiura
2010NOMSAnalysis of spam mail sent to Japanese mail addresses in the long term.Daisuke Yamakawa, Noriaki Yoshiura
2009ADBISObject Tag Architecture for Innovative Intelligent Transportation Systems.Krishan Sabaragamu Koralalage, Noriaki Yoshiura
2009APNOMSDecreasing Access Control List Processed in Hardware.Takumichi Ishikawa, Noriaki Yoshiura
2008APNOMSStatistical Analysis of Slow Portsweep.Noriaki Yoshiura
2008KESFormal Definition of Relevant Logical Symbol Occurrence.Noriaki Yoshiura
2005ICDCITEffect of Mobility on Communication Performance in Overloaded One-Dimensional Cellular Networks.Michihiro Inoue, Noriaki Yoshiura, Yoshikuni Onozato
2004SEFMFinding the Causes of Unrealizability of Reactive System Formal Specifications.Noriaki Yoshiura
1993SEKEMore Expressive Temporal Logic for Specifications.Noriaki Yoshiura, Naoki Yonezaki