2137 search results - page 219 / 428 » Proving Abstract Non-interference |
113
Voted
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract-- The control of the toroidal current density spatial profile in tokamak plasmas will be absolutely critical in future commercial-grade reactors to enable high fusion gain...
117
Voted
CISC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In this paper, we propose a signcryption scheme which provides all the following properties at the same time. (1) forward security: the private key of a sender does not h...
133
Voted
ANTS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We answer a question asked by Hajdu and Tengely: The only arithmetic progression in coprime integers of the form (a2 , b2 , c2 , d5 ) is (1, 1, 1, 1). For the proof, we ...
136
Voted
ANTS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Mazur proved that any element ξ of order three in the Shafarevich-Tate group of an elliptic curve E over a number field k can be made visible in an abelian surface A in...
105
Voted
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Modern termination provers rely on a safety checker to construct disjunctively well-founded transition invariants. This safety check is known to be the bottleneck of the ...