Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"language-based techniques"”.
-
STATIC ENFORCEMENT OF TERMINATION-SENSITIVE NONINTERFERENCE USING THE C++ TEMPLATE TYPE SYSTEM
<p>A side channel is an observable attribute of program execution other than explicit communication, e.g., power usage, execution time, or page fault patterns. A side-channel attack occurs when a malicious adversary observes program secrets through a side channel. This dissertation introduces …
-
Satellite image cloud removal : learning within and beyond the sample
… be possible to approach the problem from a data-based perspective by processing images affected by clouds. More precisely, the cloud removal technology aims to approximate the features of the ground obscured by the clouds present in a given image. Given the established power and versatility of …