Jens Seiler

Learn More
Inference control aims at disabling a participant to gain a piece of information to be kept confidential. Considering a server-client architecture for information systems, we extend Controlled Query Evaluation (CQE), an inference control method to enforce confidentiality in static information systems under queries, to databases that are updatable by a(More)
We extend Controlled Query Evaluation (CQE), an inference control method to enforce confidentiality in static information systems under queries, to updatable databases. Within the framework of the lying approach to CQE, we study user update requests that have to be translated into a new database state. In order to avoid dangerous inferences, some such(More)
The design of custom integrated circuits is concerned with two levels of hierarchy. First of all, there is a hierarchy of different levels of representation, all of which provide a different view of the same structure. Thus, at the highest level, a hardware design language characterizes the overall design, which is then represented in terms of an(More)
  • 1