Honesty by typing

We propose a type system for a calculus of contracting processes. Processes may stipulate contracts, and then either behave honestly, by keeping the promises made, or not. Type safety guarantees that a typeable process is honest - that is, the process abides by the contract it has stipulated in all possible contexts, even those containing dishonest adversaries

Honesty by typing

We propose a type system for a calculus of contracting processes. Processes can establish sessions by stipulating contracts, and then can interact either by keeping the promises made, or not. Type safety guarantees that a typeable process is honest - that is, it abides by the contracts it has stipulated in all possible contexts, even in presence of dishonest adversaries. Type inference is decidable, and it allows to safely approximate the honesty of processes using either synchronous or asynchronous communication

Combining behavioural types with security analysis

Today's software systems are highly distributed and interconnected, and they increasingly rely on communication to achieve their goals; due to their societal importance, security and trustworthiness are crucial aspects for the correctness of these systems. Behavioural types, which extend data types by describing also the structured behaviour of programs, are a widely studied approach to the enforcement of correctness properties in communicating systems. This paper offers a unified overview of proposals based on behavioural types which are aimed at the analysis of security properties

Motor fluency shapes abstract concepts

People with different types of bodies tend to think differently in predictable ways, even about abstract ideas that seem far removed from bodily experience. Right- and left-handers implicitly associate positive ideas like goodness and honesty more strongly with their dominant side of space, the side on which they can interact with their environment more fluently, and negative ideas with their non-dominant side. This suggests a role for motor experience in shaping abstract thoughts. Yet, previous evidence is also consistent with an experience-independent account. Here we show that right-handers' tendency to associate 'good' with right and 'bad' with left can be reversed due to both long- and short-term changes in motor fluency. Among stroke patients who were right-handed prior to unilateral cerebrovascular accident (CVA), those with left-hemiparesis (following right CVA) associated good with right, but those with right-hemiparesis (following left CVA) associated good with left, like natural left-handers. A similar pattern was found in healthy right-handers whose right or left hand was temporarily handicapped in a laboratory training task. Motor experience influences judgments of good and bad, overriding any predispositions due to natural handedness. Even highly abstract ideas depend, in part, on how people interact with the physical world

Spartan Daily, October 13, 1987

Volume 89, Issue 30https://scholarworks.sjsu.edu/spartandaily/7622/thumbnail.jp

Spartan Daily, November 18, 1981

Volume 77, Issue 55https://scholarworks.sjsu.edu/spartandaily/6831/thumbnail.jp

Holidays In The Empire (HIST 32) Syllabus

From seedy bars to holy sites, Europeans journeyed to colonized spaces to encounter people and places they would never see at home. This class examines how European peoples participated in the imperial project through their travels. It tackles a history of Europe and empire through different frameworks (Orientalism, gender studies…) and methods (mainly primary source analysis and Web-based tools). Students will examine how Europeans “experienced” empire through travel, including safaris, sex tourism, and mission work. This will include a brief study of European travel themes, such as the Grand Tour, transportation technology, and mass tourism, with our focus mainly on what happened when Europeans vacationed in “their” overseas holdings. As a class, we will also embark on an extended case study of Saharan travel, analyzing guidebooks on the subject and producing a Web site featuring original content and an interactive map

Spartan Daily, May 11, 1964

Volume 51, Issue 122https://scholarworks.sjsu.edu/spartandaily/4588/thumbnail.jp

Spartan Daily, November 6, 1980

Volume 75, Issue 48https://scholarworks.sjsu.edu/spartandaily/6684/thumbnail.jp