Spartan Daily, September 4, 2019

Volume 153, Issue 5https://scholarworks.sjsu.edu/spartan_daily_2019/1048/thumbnail.jp

Quantifying Information Leaks Using Reliability Analysis

acmid: 2632367 keywords: Model Counting, Quantitative Information Flow, Reliability Analysis, Symbolic Execution location: San Jose, CA, USA numpages: 4acmid: 2632367 keywords: Model Counting, Quantitative Information Flow, Reliability Analysis, Symbolic Execution location: San Jose, CA, USA numpages: 4acmid: 2632367 keywords: Model Counting, Quantitative Information Flow, Reliability Analysis, Symbolic Execution location: San Jose, CA, USA numpages: 4We report on our work-in-progress into the use of reliability analysis to quantify information leaks. In recent work we have proposed a software reliability analysis technique that uses symbolic execution and model counting to quantify the probability of reaching designated program states, e.g. assert violations, under uncertainty conditions in the environment. The technique has many applications beyond reliability analysis, ranging from program understanding and debugging to analysis of cyber-physical systems. In this paper we report on a novel application of the technique, namely Quantitative Information Flow analysis (QIF). The goal of QIF is to measure information leakage of a program by using information-theoretic metrics such as Shannon entropy or Renyi entropy. We exploit the model counting engine of the reliability analyzer over symbolic program paths, to compute an upper bound of the maximum leakage over all possible distributions of the confidential data. We have implemented our approach into a prototype tool, called QILURA, and explore its effectiveness on a number of case studie

The Crescent Student Newspaper, March 14, 2016

Student newspaper of George Fox University.https://digitalcommons.georgefox.edu/the_crescent/2475/thumbnail.jp

Colonization to Construction: Bridging the Gap Between Ancient Chamorro, Spanish Colonial & Modern Architecture on Guam

Guam is an island in the Marianas that, over time, has experienced a rich cultural history brought about by its exposure to colonization, natural disasters, warfare and the continual influx of people and culture. Therefore, the architecture that exists on the island is one that divides itself into four distinct styles with each as a response to external forces that affected the island. By researching each of these styles, one is able to fully understand the holistic view of Guam’s history in order to design architecture that reflects the past with anticipation for the future. This thesis works to explore the four styles by understanding their strengths and shortcomings in order to use this knowledge to design a Cultural Center for Art and Architecture where each style is represented

A Formal Account of the Open Provenance Model

On the Web, where resources such as documents and data are published, shared, transformed, and republished, provenance is a crucial piece of metadata that would allow users to place their trust in the resources they access. The Open Provenance Model (OPM) is a community data model for provenance that is designed to facilitate the meaningful interchange of provenance information between systems. Underpinning OPM is a notion of directed graph, where nodes represent data products and processes involved in past computations, and edges represent dependencies between them; it is complemented by graphical inference rules allowing new dependencies to be derived. Until now, however, the OPM model was a purely syntactical endeavor. The present paper extends OPM graphs with an explicit distinction between precise and imprecise edges. Then a formal semantics for the thus enriched OPM graphs is proposed, by viewing OPM graphs as temporal theories on the temporal events represented in the graph. The original OPM inference rules are scrutinized in view of the semantics and found to be sound but incomplete. An extended set of graphical rules is provided and proved to be complete for inference. The paper concludes with applications of the formal semantics to inferencing in OPM graphs, operators on OPM graphs, and a formal notion of refinement among OPM graphs

Spartan Daily, November 13, 2014

Volume 143, Issue 32https://scholarworks.sjsu.edu/spartandaily/1531/thumbnail.jp

Vista: October 20, 2020

https://digital.sandiego.edu/vista/2098/thumbnail.jp

Spartan Daily November 28, 2012

Volume 139, Issue 46https://scholarworks.sjsu.edu/spartandaily/1362/thumbnail.jp

Strategi Komunikasi Pemasaran Z Coffee Shop Palembang dalam Upaya Menciptakan Brand Awareness

Penelitian ini berjudul Strategi Komunikasi Pemasaran Z Coffee Shop Palembang dalam Upaya Menciptakan Brand Awareness. Tujuan penelitian ini untuk mengetahui Strategi Komunikasi Pemasaran Z Coffee Shop Palembang dalam Upaya Menciptakan Brand Awareness. Penelitian ini menggunakan teori komunikasi pemasaran dan brand awarenss. Objek pada penelitian ini adalah Z Coffee yang berada di JL. Kapten A Rivai Palembang. Teknik pengumpulan data melaului observasi, wawancara dan dokumentasi. Hasil penelitian ini dapat disimpulkan bahwa komunikasi pemasaran yang dilakukan oleh Z Coffee adalah strategi pemasaran Z Coffee yang paling efektif ialah sales promotion (promosi penjualan) yaitu dengan menyajikan menu gratis khusus latte art yang bertujuan untuk menarik minat pelanggan. Selain sales promotion yang paling efektif, advertising (iklan) juga berpengaruh dalam strategi komunikasi pemasaran Z Coffee yaitu dengan cara mempublikasikan konten kegiatan mereka sebaik mungkin di media sosial Instagram