---
_id: '17358'
abstract:
- lang: eng
text: 'Approximate circuits trade-off computational accuracy against improvements
in hardware area, delay, or energy consumption. IP core vendors who wish to create
such circuits need to convince consumers of the resulting approximation quality.
As a solution we propose proof-carrying approximate circuits: The vendor creates
an approximate IP core together with a certificate that proves the approximation
quality. The proof certificate is bundled with the approximate IP core and sent
off to the consumer. The consumer can formally verify the approximation quality
of the IP core at a fraction of the typical computational cost for formal verification.
In this paper, we first make the case for proof-carrying approximate circuits
and then demonstrate the feasibility of the approach by a set of synthesis experiments
using an exemplary approximation framework.'
article_type: original
author:
- first_name: Linus Matthias
full_name: Witschen, Linus Matthias
id: '49051'
last_name: Witschen
- first_name: Tobias
full_name: Wiersema, Tobias
id: '3118'
last_name: Wiersema
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
citation:
ama: Witschen LM, Wiersema T, Platzner M. Proof-carrying Approximate Circuits. IEEE
Transactions On Very Large Scale Integration Systems. 2020;28(9):2084-2088.
doi:10.1109/TVLSI.2020.3008061
apa: Witschen, L. M., Wiersema, T., & Platzner, M. (2020). Proof-carrying Approximate
Circuits. IEEE Transactions On Very Large Scale Integration Systems, 28(9),
2084–2088. https://doi.org/10.1109/TVLSI.2020.3008061
bibtex: '@article{Witschen_Wiersema_Platzner_2020, title={Proof-carrying Approximate
Circuits}, volume={28}, DOI={10.1109/TVLSI.2020.3008061},
number={9}, journal={IEEE Transactions On Very Large Scale Integration Systems},
publisher={IEEE}, author={Witschen, Linus Matthias and Wiersema, Tobias and Platzner,
Marco}, year={2020}, pages={2084–2088} }'
chicago: 'Witschen, Linus Matthias, Tobias Wiersema, and Marco Platzner. “Proof-Carrying
Approximate Circuits.” IEEE Transactions On Very Large Scale Integration Systems
28, no. 9 (2020): 2084–88. https://doi.org/10.1109/TVLSI.2020.3008061.'
ieee: L. M. Witschen, T. Wiersema, and M. Platzner, “Proof-carrying Approximate
Circuits,” IEEE Transactions On Very Large Scale Integration Systems, vol.
28, no. 9, pp. 2084–2088, 2020.
mla: Witschen, Linus Matthias, et al. “Proof-Carrying Approximate Circuits.” IEEE
Transactions On Very Large Scale Integration Systems, vol. 28, no. 9, IEEE,
2020, pp. 2084–88, doi:10.1109/TVLSI.2020.3008061.
short: L.M. Witschen, T. Wiersema, M. Platzner, IEEE Transactions On Very Large
Scale Integration Systems 28 (2020) 2084–2088.
date_created: 2020-07-06T11:21:30Z
date_updated: 2022-01-06T06:53:09Z
department:
- _id: '78'
doi: 10.1109/TVLSI.2020.3008061
funded_apc: '1'
intvolume: ' 28'
issue: '9'
keyword:
- Approximate circuit synthesis
- approximate computing
- error metrics
- formal verification
- proof-carrying hardware
language:
- iso: eng
page: 2084 - 2088
project:
- _id: '12'
name: SFB 901 - Subproject B4
- _id: '3'
name: SFB 901 - Project Area B
- _id: '1'
name: SFB 901
publication: IEEE Transactions On Very Large Scale Integration Systems
publication_identifier:
eissn:
- 1557-9999
issn:
- 1063-8210
publication_status: published
publisher: IEEE
quality_controlled: '1'
status: public
title: Proof-carrying Approximate Circuits
type: journal_article
user_id: '49051'
volume: 28
year: '2020'
...
---
_id: '5625'
abstract:
- lang: eng
text: The increasing availability and deployment of open source software in personal
and commercial environments makes open source software highly appealing for hackers,
and others who are interested in exploiting software vulnerabilities. This deployment
has resulted in a debate ?full of religion? on the security of open source software
compared to that of closed source software. However, beyond such arguments, only
little quantitative analysis on this research issue has taken place. We discuss
the state-of-the-art of the security debate and identify shortcomings. Based on
these, we propose new metrics, which allows to answer the question to what extent
the review process of open source and closed source development has helped to
fix vulnerabilities. We illustrate the application of some of these metrics in
a case study on OpenOffice (open source software) vs. Microsoft Office (closed
source software).
author:
- first_name: Guido
full_name: Schryen, Guido
id: '72850'
last_name: Schryen
- first_name: Rouven
full_name: Kadura, Rouven
last_name: Kadura
citation:
ama: 'Schryen G, Kadura R. Open Source vs. Closed Source Software: Towards Measuring
Security. In: 24th Annual ACM Symposium on Applied Computing. ; 2009.'
apa: 'Schryen, G., & Kadura, R. (2009). Open Source vs. Closed Source Software:
Towards Measuring Security. In 24th Annual ACM Symposium on Applied Computing.'
bibtex: '@inproceedings{Schryen_Kadura_2009, title={Open Source vs. Closed Source
Software: Towards Measuring Security}, booktitle={24th Annual ACM Symposium on
Applied Computing}, author={Schryen, Guido and Kadura, Rouven}, year={2009} }'
chicago: 'Schryen, Guido, and Rouven Kadura. “Open Source vs. Closed Source Software:
Towards Measuring Security.” In 24th Annual ACM Symposium on Applied Computing,
2009.'
ieee: 'G. Schryen and R. Kadura, “Open Source vs. Closed Source Software: Towards
Measuring Security,” in 24th Annual ACM Symposium on Applied Computing,
2009.'
mla: 'Schryen, Guido, and Rouven Kadura. “Open Source vs. Closed Source Software:
Towards Measuring Security.” 24th Annual ACM Symposium on Applied Computing,
2009.'
short: 'G. Schryen, R. Kadura, in: 24th Annual ACM Symposium on Applied Computing,
2009.'
date_created: 2018-11-14T14:12:27Z
date_updated: 2022-01-06T07:02:13Z
ddc:
- '000'
department:
- _id: '277'
extern: '1'
file:
- access_level: open_access
content_type: application/pdf
creator: hsiemes
date_created: 2018-12-18T13:14:09Z
date_updated: 2018-12-18T13:14:09Z
file_id: '6310'
file_name: ACM VERSION.pdf
file_size: 456497
relation: main_file
file_date_updated: 2018-12-18T13:14:09Z
has_accepted_license: '1'
keyword:
- Open source software
- Closed source software
- Security
- Metrics
language:
- iso: eng
oa: '1'
publication: 24th Annual ACM Symposium on Applied Computing
status: public
title: 'Open Source vs. Closed Source Software: Towards Measuring Security'
type: conference
user_id: '61579'
year: '2009'
...