Vol. 4 No. 1 (2025): Human-Computer Interaction and Software Verification

Volume 4 highlights human-computer interaction paradigms, multi-agent reinforcement learning, and automated software verification pipelines. Featured papers present empirical insights into cognitive user modeling, adaptive neural agents, and formal verification methodologies in modern software systems.

Published: 2025-06-30

Federated Learning with Differential Privacy for Cross-Silo Financial Fraud Detection

Ahmad Firmansyah, Laila Saputra

DOI https://doi.org/10.55923/aksara.v4i1.1

• pp. 197-210 • Views: 0 • Downloads: 0

PDF

Quantum-Resistant Key Exchange Integration in Secure Shell Protocols for Enterprise Networks

Budi Handayani, Widya Susanto, Dimas Subekti, Indah Setiawan, Siti Tanjung

DOI https://doi.org/10.55923/aksara.v4i1.2

• pp. 211-224 • Views: 0 • Downloads: 0

PDF

Real-Time Driver Drowsiness Detection System Using Temporal Convolutional Networks and Infrared Vision

Dewi Anggraini, Hendra Setiawan, Novi Maharani, Fajar Lestari, Putri Maharani

DOI https://doi.org/10.55923/aksara.v4i1.3

• pp. 225-237 • Views: 0 • Downloads: 0

PDF

Scalable Continuous Integration and Continuous Deployment Pipelines on Multi-Cloud Architectures

Farhan Wardani, Fajar Santoso, Bambang Kusuma, Gita Nasution

DOI https://doi.org/10.55923/aksara.v4i1.4

• pp. 238-251 • Views: 0 • Downloads: 0

PDF

Decentralized Autonomous Organizations Governance Optimization Using Quadratic Voting Mechanisms

Nanda Lubis, Doni Nugroho, Putri Handayani, Novi Panjaitan, Dewi Wijaya

DOI https://doi.org/10.55923/aksara.v4i1.5

• pp. 252-265 • Views: 0 • Downloads: 0

PDF