HASE 2008 - PDF Preprint Papers

HASE 2008 IEEE International Symposium on High-Assurance Systems Engineering

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed HASE-2008 Paper

click to vote

HASE
2008
IEEE

199views Control Systems» more HASE 2008»

Low Cost Secure Computation for the General Client-Server Computation Model

14 years 5 months ago

Download www.utdallas.edu

Due to the large number of attacks on open networks, information theft becomes a more and more severe problem. Secure computation can offer highly assured confidentiality protecti...

Liangliang Xiao, I-Ling Yen, Farokh B. Bastani

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	199	Low Cost Secure Computation for the General Client-Server Computation Model	claim
2	196	Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks	claim
3	194	Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications	claim
4	189	Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems	claim
5	169	HyperMIP: Hypervisor Controlled Mobile IP for Virtual Machine Live Migration across Networks	claim
6	156	An Interaction-Based Test Sequence Generation Approach for Testing Web Applications	claim
7	146	Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions
8	144	A Grammar-Based Reverse Engineering Framework for Behavior Verification	claim
9	144	Securing Sensor Nodes Against Side Channel Attacks	claim
10	132	Small Logs for Transactional Services: Distinction is Much More Accurate than (Positive) Discrimination	claim
11	129	On the Integrity of Lightweight Checkpoints	claim
12	128	Localizing Program Errors via Slicing and Reasoning	claim
13	121	Privacy, Preservation and Performance: The 3 P's of Distributed Data Management	claim
14	118	Randomization Based Probabilistic Approach to Detect Trojan Circuits
15	116	A Few Remarks about Formal Development of Secure Systems	claim
16	116	Using Multi-Level Security Annotations to Improve Software Assurance	claim
17	116	Synopsis of Evaluating Security Controls Based on Key Performance Indicators and Stakeholder Mission Value	claim
18	115	Transaction Calculus	claim
19	111	Formalize UML 2 Sequence Diagrams	claim
20	108	A Multi-Periodic Synchronous Data-Flow Language	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers