skip to main content

Search for: All records

Creators/Authors contains: "Li, Xiao"

Note: When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher. Some full text articles may not yet be available without a charge during the embargo (administrative interval).
What is a DOI Number?

Some links on this page may take you to non-federal websites. Their policies may differ from this site.

  1. Inter-organizational systems where subsystems with partial trust need to cooperate are common in healthcare, finance and military. In the face of malicious Byzantine attacks, the ultimate goal is to assure end-to-end policies for the three aspects of trustworthiness: confidentiality, integrity and availability. In contrast to confidentiality and integrity, provision and validation of availability has been often sidestepped. This paper guarantees end-to-end policies simultaneously for all the three aspects of trustworthiness. It presents a security-typed object-based language, a partitioning transformation, an operational semantics, and an information flow type inference system for partitioned and replicated classes. The type system provably guarantees thatmore »well-typed methods enjoy noninterference for the three properties, and that their types quantify their resilience to Byzantine attacks. Given a class and the specification of its end-to-end policies, the Hamraz tool applies type inference to automatically place and replicate the fields and methods of the class on Byzantine quorum systems, and synthesize trustworthy-by-construction distributed systems. The experiments show the resiliency of the resulting systems; they can gracefully tolerate attacks that are as strong as the specified policies.« less
    Free, publicly-accessible full text available January 1, 2023
  2. Free, publicly-accessible full text available January 1, 2023
  3. Free, publicly-accessible full text available January 1, 2023
  4. Free, publicly-accessible full text available September 1, 2022
  5. Free, publicly-accessible full text available September 29, 2022
  6. Kubarych, Kevin ; Ogilvie, Jennifer (Ed.)
    Photoinduced electron transfer (ET) between electron donor (dimethylaniline) and acceptor (N-isopropyl-1,8-napthalimide) covalently linked by ethyne bridge is investigated by a mid-IR transient absorption spectroscopy and TD-DFT computations. We found that electronic and vibrational properties of the complex, including ET rate, depends strongly on the D-A torsion angle.
  7. Photoinduced electron transfer (ET) between electron donor (dimethylaniline) and acceptor (N-isopropyl-1,8-napthalimide) covalently linked by ethyne bridge is investigated by a mid-IR transient absorption spectroscopy and TD-DFT computations. We found that electronic and vibrational properties of the complex, including ET rate, depends strongly on the D-A torsion angle.