Valer Bocan — Publications https://www.bocan.ro/ Publications by Valer Bocan, Security Researcher & Lecturer, Politehnica Timișoara. en IPFLang: A Domain-Specific Language for Multi-Currency Regulatory Fee Computation with Static Verification https://www.bocan.ro/publications/ipflang/ https://www.bocan.ro/publications/ipflang/ Thu, 01 Jan 2026 00:00:00 GMT Regulatory fee calculations involve complex, jurisdiction-specific rules typically implemented as ad-hoc code or spreadsheets, leading to errors and maintenance difficulties. No formal specification exists for encoding fee computation rules. This paper presents IPFLang, a domain- specific language addressing these software engineering challenges through novel language design and static verification. We develop a formal EBNF grammar with declarative fee computation blocks, a currency-aware type system supporting the 161 active ISO 4217 currencies, static analysis algorithms for completeness and monotonicity verification, and provenance tracking for auditability. The open-source reference implementation includes 118 production jurisdiction files covering PCT national/regional phase entry fees validated by a domain expert, a comprehensive test suite with 269 test methods achieving 100% pass rate, and sub-millisecond execution performance. The currency-aware type system prevents cross-currency arithmetic errors at compile time. Look, Listen, Leak: Out-of-Band WebRTC Pairing as an Enterprise Egress Surface https://www.bocan.ro/publications/look-listen-leak/ https://www.bocan.ro/publications/look-listen-leak/ Thu, 01 Jan 2026 00:00:00 GMT Enterprise security stacks inspect web, email, DNS, cloud, and removable-media egress on the assumption that any consequential data path crosses a control that can see it. We characterise a data-movement surface that defeats this assumption while the full standard stack remains deployed and correctly configured. A web page on a corporate workstation renders a compressed WebRTC offer as a QR code; a co-present smartphone reads it, answers with a brief acoustic burst the workstation's microphone decodes, and the two browsers open a WebRTC DataChannel directly across the local network. The receiver is an unmodified phone admitted under a bring-your-own- device policy, and no software is installed or privilege escalated. We give a formal threat model, an attack tree and a data flow diagram that locate the surface relative to the deployed controls, and a released reference implementation. Mobile Video Surveillance Solution and Power Consumption Analysis for Mobile Surveillance Applications https://www.bocan.ro/publications/mobile-video-surveillance-power/ https://www.bocan.ro/publications/mobile-video-surveillance-power/ Thu, 01 Jan 2026 00:00:00 GMT Bocan, Valer; Stângaciu, Cristina-Sorina; Stângaciu, Valentin; Oprițoiu, Flavius; Laziun, Bogdan-Andrei; Leșeanu, Darius. Electronics, 2026. QRNG-DD: software data diode for quantum random number distribution with AI agent integration https://www.bocan.ro/publications/qrng-dd/ https://www.bocan.ro/publications/qrng-dd/ Thu, 01 Jan 2026 00:00:00 GMT Bocan, Valer. SoftwareX, 2026. Artificial Intelligence: The Catalyst For New Industrial Revolution And Economic Development? https://www.bocan.ro/publications/ai-catalyst/ https://www.bocan.ro/publications/ai-catalyst/ Wed, 01 Jan 2025 00:00:00 GMT Spătaru, Cristian-Radu; Bocan, Valer; Popescu, Cătălin C.. Theoretical and Applied Economics, 2025. Performance Evaluation of Selected Raspberry Pi Platforms for Portable Audio-Video Surveillance Systems https://www.bocan.ro/publications/biltek-2025/ https://www.bocan.ro/publications/biltek-2025/ Thu, 18 Dec 2025 00:00:00 GMT Bocan, Valer; Leșeanu, Darius-Florin; Spătaru, Cristian-Radu. BILTEK 2025, 2025. Development of a Modular Covert Audio-Video Surveillance System for National Security Applications Using 4G/5G Transmission https://www.bocan.ro/publications/ispec-2025/ https://www.bocan.ro/publications/ispec-2025/ Thu, 27 Nov 2025 00:00:00 GMT Bocan, Valer; Stângaciu, Valentin; Stângaciu, Cristina; Oprițoiu, Flavius; Petrița, Tiberiu; Alexa, Florin; Spătaru, Cristian; Leșeanu, Darius. ISPEC 2025, 2025. Rethinking growth and innovation: The role of artificial intelligence in Europe's industrial transformation https://www.bocan.ro/publications/rethinking-growth-innovation/ https://www.bocan.ro/publications/rethinking-growth-innovation/ Wed, 01 Jan 2025 00:00:00 GMT Spătaru, Cristian-Radu; Bocan, Valer; Popescu, Cătălin C.. 12th International New York Conference, 2025. Printing Infrastructure Discovery through Adaptive QR Codes https://www.bocan.ro/publications/printing-infrastructure-qr/ https://www.bocan.ro/publications/printing-infrastructure-qr/ Wed, 01 Jan 2014 00:00:00 GMT Bocan, Valer. AISE 2014, 2014. DoS Resilience of Authentication Systems https://www.bocan.ro/publications/dos-resilience-authentication-systems/ https://www.bocan.ro/publications/dos-resilience-authentication-systems/ Sun, 01 Jan 2012 00:00:00 GMT Bocan, Valer. Digital Identity and Access Management, 2012. Contribuții la creșterea disponibilității, scalabilității și securității sistemelor de comunicație https://www.bocan.ro/publications/teza-doctorat/ https://www.bocan.ro/publications/teza-doctorat/ Thu, 01 Jan 2009 00:00:00 GMT Bocan, Valer. Politehnica University of Timișoara, 2009. SCADDIC: The Implementation and Performance of a Scalable and Secure Architecture for Digital Content Distribution https://www.bocan.ro/publications/scaddic-performance/ https://www.bocan.ro/publications/scaddic-performance/ Tue, 01 Jan 2008 00:00:00 GMT Bocan, Valer. Communications 2008, 2008. Mitigating Denial of Service Threats in GSM Networks https://www.bocan.ro/publications/mitigating-dos-gsm/ https://www.bocan.ro/publications/mitigating-dos-gsm/ Thu, 20 Apr 2006 00:00:00 GMT Mobile networks not only provide great benefits to their users but they also introduce inherent security issues. With respect to security, the emerging risks of denial of service (DOS) attacks will evolve into a critical danger as the availability of mobile networks becomes more and more important for the modern information society. This paper outlines a critical flaw in GSM networks which opens the avenue for distributed denial of service attacks. We propose a way to mitigate the attacks by adding minimal authentication to the GSM channel assignment protocol. Scalable and Secure Architecture for Digital Content Distribution https://www.bocan.ro/publications/softcom-2006-scaddic/ https://www.bocan.ro/publications/softcom-2006-scaddic/ Fri, 29 Sep 2006 00:00:00 GMT Bocan, Valer; Fagadar-Cosma, Mihai. SoftCOM 2006, 2006. Threats and Countermeasures in GSM Networks https://www.bocan.ro/publications/threats-countermeasures-gsm/ https://www.bocan.ro/publications/threats-countermeasures-gsm/ Wed, 01 Nov 2006 00:00:00 GMT Bocan, Valer; Crețu, Vladimir. Journal of Networks, 2006. Adaptive Threshold Puzzles https://www.bocan.ro/publications/adaptive-threshold-puzzles/ https://www.bocan.ro/publications/adaptive-threshold-puzzles/ Mon, 21 Nov 2005 00:00:00 GMT Bocan, Valer; Făgădar-Cosma, Mihai. EUROCON 2005, 2005. Sisteme Single Sign-On sub atacuri Denial-of-Service. Studiu de caz: Proiectul Liberty Alliance https://www.bocan.ro/publications/referat3/ https://www.bocan.ro/publications/referat3/ Sat, 01 Jan 2005 00:00:00 GMT Bocan, Valer. Politehnica University of Timișoara, 2005. Towards DoS-resistant Single Sign-On Systems https://www.bocan.ro/publications/towards-dos-resistant-sso/ https://www.bocan.ro/publications/towards-dos-resistant-sso/ Mon, 21 Nov 2005 00:00:00 GMT Bocan, Valer; Făgădar-Cosma, Mihai. EUROCON 2005, 2005. Developments in DoS Research and Mitigating Technologies https://www.bocan.ro/publications/developments-dos-research/ https://www.bocan.ro/publications/developments-dos-research/ Thu, 01 Jan 2004 00:00:00 GMT Bocan, Valer. CONTI 2004, 2004. Studiu asupra nivelului de siguranță oferit de protocoalele de autentificare https://www.bocan.ro/publications/referat2/ https://www.bocan.ro/publications/referat2/ Thu, 01 Jan 2004 00:00:00 GMT Bocan, Valer. Politehnica University of Timișoara, 2004. Security and Denial of Service Threats in GSM Networks https://www.bocan.ro/publications/security-dos-gsm/ https://www.bocan.ro/publications/security-dos-gsm/ Thu, 01 Jan 2004 00:00:00 GMT Bocan, Valer; Crețu, Vladimir. CONTI 2004, 2004. Threshold Puzzles: The Evolution of DoS-Resistant Authentication https://www.bocan.ro/publications/threshold-puzzles-evolution/ https://www.bocan.ro/publications/threshold-puzzles-evolution/ Thu, 01 Jan 2004 00:00:00 GMT Bocan, Valer. CONTI 2004, 2004. Stadiul actual al dezvoltării sistemelor de securitate pentru rețele de calculatoare de înaltă siguranță https://www.bocan.ro/publications/referat1/ https://www.bocan.ro/publications/referat1/ Tue, 01 Jan 2002 00:00:00 GMT Bocan, Valer. Politehnica University of Timișoara, 2002.