H. Wang
Please Note
65 records found
1
Private Cycle Enumeration in Federated Transaction Graphs
Collaborative Financial Crime Detection
One approach to financial crime detection models financial activity as a graph and searches for structural patterns that may indicate suspicious behavior. Among these patterns are cycles, where funds leave an account and return through a sequence of intermediary transactions. Detecting such subgraphs is challenging when transactions are distributed across multiple institutions, as no single party can observe them independently. Existing approaches either centralize data in a trusted location, raising privacy and trust concerns, or rely on decentralized computation among participants. In this thesis, we propose a decentralized, privacy-preserving cycle enumeration protocol for an arbitrary number of parties that finds all cycles of bounded length while minimizing information leakage. Our protocol combines homomorphic encryption, threshold cryptography, and secure multi-party computation, while building on offline graph processing techniques to improve scalability. We show that the protocol leaks less information than prior decentralized approaches, derive complexity bounds that exploit graph sparsity via out-degree dependence, and validate these results experimentally on graphs of varying sizes and types. We also discuss alternative design choices affecting security and performance. ...
One approach to financial crime detection models financial activity as a graph and searches for structural patterns that may indicate suspicious behavior. Among these patterns are cycles, where funds leave an account and return through a sequence of intermediary transactions. Detecting such subgraphs is challenging when transactions are distributed across multiple institutions, as no single party can observe them independently. Existing approaches either centralize data in a trusted location, raising privacy and trust concerns, or rely on decentralized computation among participants. In this thesis, we propose a decentralized, privacy-preserving cycle enumeration protocol for an arbitrary number of parties that finds all cycles of bounded length while minimizing information leakage. Our protocol combines homomorphic encryption, threshold cryptography, and secure multi-party computation, while building on offline graph processing techniques to improve scalability. We show that the protocol leaks less information than prior decentralized approaches, derive complexity bounds that exploit graph sparsity via out-degree dependence, and validate these results experimentally on graphs of varying sizes and types. We also discuss alternative design choices affecting security and performance.
This thesis reformulates diffusion network reconstruction as a Bayesian inference problem by constructing a posterior distribution over possible graph topologies rather than a single point estimate. This allows downstream applications such as reinforcement learning (RL) to reason under uncertainty and make informed decisions when observations are limited or ambiguous. This thesis investigates the use of conditional generative flow networks (GFlowNets) to represent this posterior over graph topologies conditioned on observations from susceptible-infected (SI) epidemic simulations. To enable this approach, a likelihood-based reward function is introduced that factorizes the probability of an observed infection state and provides improved scalability over a naive empirical reward, achieving a true positive mass (TPM) of over 84% for graphs with up to 16 nodes while the baseline empirical reward function achieved a TPM of over 99% only up to 7 nodes. A tensor-optimized implementation of this reward function using PyTorch further reduces the computational cost of reward evaluation, achieving approximately 20 iterations per second compared with 2.1 iterations per second for a Julia implementation and 0.3 iterations per second for an implementation using NDlib under the evaluated configuration.
This thesis additionally investigates a custom linear transformer architecture designed to exploit the permutation structure of graph representations and improve the scalability of the conditional GFlowNet. The transformer achieves an improvement over a feed-forward architecture, reaching a 1-total variation distance (TVD) of 32% and a TPM of 49% on graphs with 25 nodes, compared with a 1-TVD of 12% and a TPM of 13% for a standard feed-forward architecture. However, this improvement comes at substantially increased computational cost, with the transformer requiring 86 seconds per forward pass compared with 16 seconds for the feed-forward model. Overall, the results demonstrate the feasibility of conditional GFlowNets for Bayesian diffusion network reconstruction on smaller graphs while the observed scalability limitations highlight reward evaluation, model scalability, and computational efficiency as key challenges for future work. ...
This thesis reformulates diffusion network reconstruction as a Bayesian inference problem by constructing a posterior distribution over possible graph topologies rather than a single point estimate. This allows downstream applications such as reinforcement learning (RL) to reason under uncertainty and make informed decisions when observations are limited or ambiguous. This thesis investigates the use of conditional generative flow networks (GFlowNets) to represent this posterior over graph topologies conditioned on observations from susceptible-infected (SI) epidemic simulations. To enable this approach, a likelihood-based reward function is introduced that factorizes the probability of an observed infection state and provides improved scalability over a naive empirical reward, achieving a true positive mass (TPM) of over 84% for graphs with up to 16 nodes while the baseline empirical reward function achieved a TPM of over 99% only up to 7 nodes. A tensor-optimized implementation of this reward function using PyTorch further reduces the computational cost of reward evaluation, achieving approximately 20 iterations per second compared with 2.1 iterations per second for a Julia implementation and 0.3 iterations per second for an implementation using NDlib under the evaluated configuration.
This thesis additionally investigates a custom linear transformer architecture designed to exploit the permutation structure of graph representations and improve the scalability of the conditional GFlowNet. The transformer achieves an improvement over a feed-forward architecture, reaching a 1-total variation distance (TVD) of 32% and a TPM of 49% on graphs with 25 nodes, compared with a 1-TVD of 12% and a TPM of 13% for a standard feed-forward architecture. However, this improvement comes at substantially increased computational cost, with the transformer requiring 86 seconds per forward pass compared with 16 seconds for the feed-forward model. Overall, the results demonstrate the feasibility of conditional GFlowNets for Bayesian diffusion network reconstruction on smaller graphs while the observed scalability limitations highlight reward evaluation, model scalability, and computational efficiency as key challenges for future work.
This thesis proposes a cross-domain fault localization framework that combines unsupervised anomaly detection with offline reinforcement learning, where the RL agent learns a policy for identifying the most likely fault origin based on observed anomaly patterns across domains. The proposed framework analyzes time-series Key Performance Indicators (KPIs) collected from the Radio Access Network (RAN), Core Network and end-to-end (E2E) domains to detect anomalous behaviour without requiring labeled data. Subsequently, the detected anomalies and cross-domain results are used by an offline reinforcement learning agent to track the most probable origin of faults across network domains.
The framework is evaluated using real-world KPI data collected over a 1 month period, consisting of 13 KPIs across the 3 domains. Unsupervised anomaly detection is applied to identify deviations from normal network behavior, while fault localization is performed using reinforcement learning based on the observed anomaly patterns. The results demonstrate that the proposed approach can identify anomalies and provide fault localization despite the lack of explicit fault labels.
This thesis highlights key challenges such as traffic dependent KPI behaviour, noise during low traffic periods and threshold selection. While the results indicate that combining unsupervised anomaly detection with reinforcement learning is a promising direction for predictive fault localization, further refinement is required to improve robustness, precision and operational consistency. Future work should focus on online deployment, calibration and improved learning strategies to support deployment in real world mobile network environments. ...
This thesis proposes a cross-domain fault localization framework that combines unsupervised anomaly detection with offline reinforcement learning, where the RL agent learns a policy for identifying the most likely fault origin based on observed anomaly patterns across domains. The proposed framework analyzes time-series Key Performance Indicators (KPIs) collected from the Radio Access Network (RAN), Core Network and end-to-end (E2E) domains to detect anomalous behaviour without requiring labeled data. Subsequently, the detected anomalies and cross-domain results are used by an offline reinforcement learning agent to track the most probable origin of faults across network domains.
The framework is evaluated using real-world KPI data collected over a 1 month period, consisting of 13 KPIs across the 3 domains. Unsupervised anomaly detection is applied to identify deviations from normal network behavior, while fault localization is performed using reinforcement learning based on the observed anomaly patterns. The results demonstrate that the proposed approach can identify anomalies and provide fault localization despite the lack of explicit fault labels.
This thesis highlights key challenges such as traffic dependent KPI behaviour, noise during low traffic periods and threshold selection. While the results indicate that combining unsupervised anomaly detection with reinforcement learning is a promising direction for predictive fault localization, further refinement is required to improve robustness, precision and operational consistency. Future work should focus on online deployment, calibration and improved learning strategies to support deployment in real world mobile network environments.
With quantum computers on the rise, commonly used cryptographic algorithms are increasingly at risk of becoming obsolete. Blockchain networks rely extensively on these primitives, making them particularly vulnerable to advances in quantum computing. To counter this vulnerability, post-quantum algorithms have gained popularity within the cryptographic community.
This thesis focuses on securing private blockchains built on HLF against potential quantum adversaries using post-quantum cryptographic primitives. We implement ML-DSA, Vesper, and TDUE as smart contracts for digital signing, zero-knowledge proofs, and updatable encryption, respectively, and report on their performance. Furthermore, we build on top of Fabric Private Chaincode to maintain the confidentiality of the contract application state. While overall performance is not yet competitive with classical cryptographic primitives, our findings indicate that post-quantum primitives have promising potential for use in private blockchains. ...
With quantum computers on the rise, commonly used cryptographic algorithms are increasingly at risk of becoming obsolete. Blockchain networks rely extensively on these primitives, making them particularly vulnerable to advances in quantum computing. To counter this vulnerability, post-quantum algorithms have gained popularity within the cryptographic community.
This thesis focuses on securing private blockchains built on HLF against potential quantum adversaries using post-quantum cryptographic primitives. We implement ML-DSA, Vesper, and TDUE as smart contracts for digital signing, zero-knowledge proofs, and updatable encryption, respectively, and report on their performance. Furthermore, we build on top of Fabric Private Chaincode to maintain the confidentiality of the contract application state. While overall performance is not yet competitive with classical cryptographic primitives, our findings indicate that post-quantum primitives have promising potential for use in private blockchains.
Our experiments show that combining translation and selection reduces the mean angular error (MAE) of a ViTS baseline on ETH-XGaze from 4.98◦ to 4.61◦ while using 75% fewer tokens. Furthermore, by leveraging this token reduction to enable a finer-grained, lossless 8x8 patch grid, we address a key information bottleneck in the ViT-S architecture, achieving a final MAE of 4.42◦. The framework also demonstrates consistent improvements on the MPIIFaceGaze dataset, reducing the baseline error from 5.72◦ to 5.36◦. Extensive ablation studies confirm our central finding: patch translation and token selection are complementary mechanisms that work in synergy to improve model performance. ...
Our experiments show that combining translation and selection reduces the mean angular error (MAE) of a ViTS baseline on ETH-XGaze from 4.98◦ to 4.61◦ while using 75% fewer tokens. Furthermore, by leveraging this token reduction to enable a finer-grained, lossless 8x8 patch grid, we address a key information bottleneck in the ViT-S architecture, achieving a final MAE of 4.42◦. The framework also demonstrates consistent improvements on the MPIIFaceGaze dataset, reducing the baseline error from 5.72◦ to 5.36◦. Extensive ablation studies confirm our central finding: patch translation and token selection are complementary mechanisms that work in synergy to improve model performance.
In summary, the contributions of this thesis are: (1) a new tie-aware mathematical model for ranking players in duplicate bridge, supported by theoretical guarantees and validated by empirical data; (2) the integration of fuzzy logic metrics into bridge performance evaluation, offering practical measures of consistency; and (3) a comprehensive case study on championship data illustrating how our methods can be applied to draw meaningful conclusions about player abilities and game dynamics. This work not only advances the methodology for analyzing bridge tournaments but also provides tools and perspectives that can inform the design of fair competition systems and the training of competitive bridge players.
...
In summary, the contributions of this thesis are: (1) a new tie-aware mathematical model for ranking players in duplicate bridge, supported by theoretical guarantees and validated by empirical data; (2) the integration of fuzzy logic metrics into bridge performance evaluation, offering practical measures of consistency; and (3) a comprehensive case study on championship data illustrating how our methods can be applied to draw meaningful conclusions about player abilities and game dynamics. This work not only advances the methodology for analyzing bridge tournaments but also provides tools and perspectives that can inform the design of fair competition systems and the training of competitive bridge players.
Most current motion generation methods depend on a single encoder-decoder architecture to simultaneously model all body parts, constraining their capacity to capture the diverse and complex motions exhibited by humans.
In this paper, we propose a novel method, SpeechCAT, that employs three separate encoder-decoder modules to individually model the motions of the face, body, and hands. To capture the relationships and synchronization among these body parts, we introduce a cross-attention mechanism to effectively learn their correlations.
SpeechCAT ensures sufficient capacity to model the unique characteristics of each body part while preserving the coherence between them.
Our experimental results demonstrate the superiority of SpeechCAT over baseline methods, highlighting its effectiveness in generating diverse, realistic, and synchronized motions with face, body, and hand parts. ...
Most current motion generation methods depend on a single encoder-decoder architecture to simultaneously model all body parts, constraining their capacity to capture the diverse and complex motions exhibited by humans.
In this paper, we propose a novel method, SpeechCAT, that employs three separate encoder-decoder modules to individually model the motions of the face, body, and hands. To capture the relationships and synchronization among these body parts, we introduce a cross-attention mechanism to effectively learn their correlations.
SpeechCAT ensures sufficient capacity to model the unique characteristics of each body part while preserving the coherence between them.
Our experimental results demonstrate the superiority of SpeechCAT over baseline methods, highlighting its effectiveness in generating diverse, realistic, and synchronized motions with face, body, and hand parts.
A comparative study between GPT-based models and diffusion models showed that diffusion models produce synthetic data of higher quality. LDMs were then evaluated as a potential alternative. Their reliance on a variational autoencoder led to low quality outputs. Hence, standard diffusion models were elected as the superior watermarking candidate. Finally, we introduced an extended set of time-, frequency-, and time-frequency domain attacks to asses watermark robustness. TimeWak emerged as the most robust watermark. However, our extended attack suite revealed new vulnerabilities in all watermarks, highlighting the importance of comprehensive robustness evaluations. ...
A comparative study between GPT-based models and diffusion models showed that diffusion models produce synthetic data of higher quality. LDMs were then evaluated as a potential alternative. Their reliance on a variational autoencoder led to low quality outputs. Hence, standard diffusion models were elected as the superior watermarking candidate. Finally, we introduced an extended set of time-, frequency-, and time-frequency domain attacks to asses watermark robustness. TimeWak emerged as the most robust watermark. However, our extended attack suite revealed new vulnerabilities in all watermarks, highlighting the importance of comprehensive robustness evaluations.
Understanding Users’ Contextual Factors and Personal Values for Watching YouTube Videos
A Crowdsourcing Approach with Personal Reflection Integration
During this exploration, we have also identified and proposed solutions for a handful of research gaps that could further optimize the TT-solve process. These include challenges related to poorly factorizing matrix sizes, as well as the need for a deeper understanding of the trade-offs between TT-matrix (TTM) rank and maximal mode size during the decomposition process. Additionally, the study examined the potential for altering the coefficient matrix through techniques like variable reordering and partial Gaussian elimination (PG) to achieve lower TTM-ranks without affecting the solution of the LSE. ...
During this exploration, we have also identified and proposed solutions for a handful of research gaps that could further optimize the TT-solve process. These include challenges related to poorly factorizing matrix sizes, as well as the need for a deeper understanding of the trade-offs between TT-matrix (TTM) rank and maximal mode size during the decomposition process. Additionally, the study examined the potential for altering the coefficient matrix through techniques like variable reordering and partial Gaussian elimination (PG) to achieve lower TTM-ranks without affecting the solution of the LSE.
a variety of settings. ...
a variety of settings.
Examining the Efficacy of Persuasive eHealth Applications in Facilitating Smoking Cessation
An Analysis of Competency Based Activities
It was determined that engagement with the optional qualitative aspect of the data produced similar utility perspectives on the competencies to those who did not comment. It was noted that the general perspective of the competencies rose after completing the activity, however not to a significant degree. Additionally, no notable correlations between age, gender or educational level and increased perception of the competency arose. Several interesting remarks from participants were analysed to offer considerations for any future research in this field. ...
It was determined that engagement with the optional qualitative aspect of the data produced similar utility perspectives on the competencies to those who did not comment. It was noted that the general perspective of the competencies rose after completing the activity, however not to a significant degree. Additionally, no notable correlations between age, gender or educational level and increased perception of the competency arose. Several interesting remarks from participants were analysed to offer considerations for any future research in this field.
Use Reinforcement Learning to Choose Activities for Preparing to Quit Smoking
How Effective a Reinforcement Learning Model is for Choosing Activities that Optimizes the Likelihood that Users Return to the Next Session and the Effort Users Spend on Their Activities?
LLM-PQA
A Natural Language Interface for Machine Learning Model Selection and Training
Through a comprehensive literature review of contract review automation and RAG systems, we conducted systematic experiments comparing RAG approaches with LLMs' in-context learning capabilities. Our empirical analysis validated that RAG-based methods significantly enhance long-context text analysis and information extraction in legal documents, particularly in terms of accuracy and consistency.
Building on these findings, we extensively investigated optimization techniques for the RAG retrieval phase, recognizing its critical role in contract review accuracy. Our experimental evaluation encompassed various chunking strategies, query expansion methods, and re-ranking approaches, establishing best practices for legal document processing.
Our primary contribution is a novel KG-RAG system that enhances contextual understanding in legal document analysis. We evaluate our approach using the Contract Understanding Atticus Dataset (CUAD) and ContractNLI dataset, demonstrating improved performance over traditional RAG implementations and long-context models. The research also explores optimal chunking strategies and investigates the efficiency-effectiveness trade-offs between different model architectures.
Results indicate that our KG-enhanced RAG framework achieves superior performance in identifying and analyzing complex legal relationships while maintaining computational efficiency. The integration of knowledge graphs particularly excels in capturing hierarchical and cross-referential relationships within legal documents, a crucial aspect often overlooked by conventional approaches.
This work advances the field of legal AI by providing a more robust and context-aware approach to contract review, while offering practical insights for implementing AI systems in legal practice. Our findings suggest promising directions for future research in legal document processing, particularly in areas requiring deep contextual understanding and relationship modeling. ...
Through a comprehensive literature review of contract review automation and RAG systems, we conducted systematic experiments comparing RAG approaches with LLMs' in-context learning capabilities. Our empirical analysis validated that RAG-based methods significantly enhance long-context text analysis and information extraction in legal documents, particularly in terms of accuracy and consistency.
Building on these findings, we extensively investigated optimization techniques for the RAG retrieval phase, recognizing its critical role in contract review accuracy. Our experimental evaluation encompassed various chunking strategies, query expansion methods, and re-ranking approaches, establishing best practices for legal document processing.
Our primary contribution is a novel KG-RAG system that enhances contextual understanding in legal document analysis. We evaluate our approach using the Contract Understanding Atticus Dataset (CUAD) and ContractNLI dataset, demonstrating improved performance over traditional RAG implementations and long-context models. The research also explores optimal chunking strategies and investigates the efficiency-effectiveness trade-offs between different model architectures.
Results indicate that our KG-enhanced RAG framework achieves superior performance in identifying and analyzing complex legal relationships while maintaining computational efficiency. The integration of knowledge graphs particularly excels in capturing hierarchical and cross-referential relationships within legal documents, a crucial aspect often overlooked by conventional approaches.
This work advances the field of legal AI by providing a more robust and context-aware approach to contract review, while offering practical insights for implementing AI systems in legal practice. Our findings suggest promising directions for future research in legal document processing, particularly in areas requiring deep contextual understanding and relationship modeling.
To achieve this objective, an extensive analysis of the literature was done to establish the state of the art. All aspects necessary to create a single application were investigated to define how much of the literature fully or partly implemented them. Findings of the literature were summarized through definition, progress, limitations and improvements.
Based on the analysis, a proof of concept was designed and implemented, which established a virtual reality framework for real-time analysis and exploration of heterogeneous urban data. The framework involved the development of both a client and server applications with real-time communication. The server application processes and caches input data based on a structured configuration file, while the client application renders and visualizes points and shapes based on instructions from the server. The layered processing approach in this proof of concept facilitated real-time data handling and exploration. Which also makes it possible to collaborate with multiple people working on or manipulating the same data at the same time.
Evaluation of the server application showed its capability of processing over 1.000.000 objects from GeoJSON data. After initial rendering, the client application could update over 4.000 objects with a latency of just 200ms, which is considered to be interactive. Feedback from experts further supported the validation of the proof of concept application as a viable solution to the research question.
This research established the validity of a configurable real-time analysis and exploration solution in virtual reality. With further development and research, this tool holds potential for being used in diverse environments dealing with urban data. ...
To achieve this objective, an extensive analysis of the literature was done to establish the state of the art. All aspects necessary to create a single application were investigated to define how much of the literature fully or partly implemented them. Findings of the literature were summarized through definition, progress, limitations and improvements.
Based on the analysis, a proof of concept was designed and implemented, which established a virtual reality framework for real-time analysis and exploration of heterogeneous urban data. The framework involved the development of both a client and server applications with real-time communication. The server application processes and caches input data based on a structured configuration file, while the client application renders and visualizes points and shapes based on instructions from the server. The layered processing approach in this proof of concept facilitated real-time data handling and exploration. Which also makes it possible to collaborate with multiple people working on or manipulating the same data at the same time.
Evaluation of the server application showed its capability of processing over 1.000.000 objects from GeoJSON data. After initial rendering, the client application could update over 4.000 objects with a latency of just 200ms, which is considered to be interactive. Feedback from experts further supported the validation of the proof of concept application as a viable solution to the research question.
This research established the validity of a configurable real-time analysis and exploration solution in virtual reality. With further development and research, this tool holds potential for being used in diverse environments dealing with urban data.