diff --git a/.gitignore b/.gitignore index 9412982..dab99eb 100644 --- a/.gitignore +++ b/.gitignore @@ -3,8 +3,11 @@ *.run.xml *.bcf *.blg +*.bbl *.mtc *.mtc[0-9]* *.maf *.out *.toc +version.tex +*-converted-to.pdf diff --git a/Chapter_Makefile b/Chapter_Makefile new file mode 100644 index 0000000..cd56c96 --- /dev/null +++ b/Chapter_Makefile @@ -0,0 +1,37 @@ + +SHELL := bash +.ONESHELL: +.SHELLFLAGS := -eu -o pipefail -c +.DELETE_ON_ERROR: +MAKEFLAGS += --warn-undefined-variables +MAKEFLAGS += --no-builtin-rules + +VERSION_STRING := $(shell git describe --always --tags --long) + +all: clean chapter.pdf + +# We need three runs for biblatex's defernumbers +%.pdf: %.tex ../main.bib version.tex + pdflatex -shell-escape $< + biber $* + pdflatex -shell-escape $< + biber $* + pdflatex -shell-escape $< + +.PHONY: preview +preview: + biber chapter || true + pdflatex -shell-escape '\def\thesispreviewmode{}\input{chapter.tex}' + +version.tex: chapter.tex + echo "${VERSION_STRING}" > $@ + +.PHONY: update-figures +update-figures: + @python figures/update_figures.py figures + +.PHONY: clean +clean: + rm -f **.aux **.bbl **.bcf **.log **.blg + rm -f **.out **.run.xml **/texput.log + diff --git a/chapter-qkd/.gitignore b/chapter-qkd/.gitignore deleted file mode 100644 index 2bf277d..0000000 --- a/chapter-qkd/.gitignore +++ /dev/null @@ -1,2 +0,0 @@ -version.tex -*-converted-to.pdf diff --git a/chapter-qkd/Makefile b/chapter-qkd/Makefile deleted file mode 100644 index cd56c96..0000000 --- a/chapter-qkd/Makefile +++ /dev/null @@ -1,37 +0,0 @@ - -SHELL := bash -.ONESHELL: -.SHELLFLAGS := -eu -o pipefail -c -.DELETE_ON_ERROR: -MAKEFLAGS += --warn-undefined-variables -MAKEFLAGS += --no-builtin-rules - -VERSION_STRING := $(shell git describe --always --tags --long) - -all: clean chapter.pdf - -# We need three runs for biblatex's defernumbers -%.pdf: %.tex ../main.bib version.tex - pdflatex -shell-escape $< - biber $* - pdflatex -shell-escape $< - biber $* - pdflatex -shell-escape $< - -.PHONY: preview -preview: - biber chapter || true - pdflatex -shell-escape '\def\thesispreviewmode{}\input{chapter.tex}' - -version.tex: chapter.tex - echo "${VERSION_STRING}" > $@ - -.PHONY: update-figures -update-figures: - @python figures/update_figures.py figures - -.PHONY: clean -clean: - rm -f **.aux **.bbl **.bcf **.log **.blg - rm -f **.out **.run.xml **/texput.log - diff --git a/chapter-qkd/Makefile b/chapter-qkd/Makefile new file mode 120000 index 0000000..3322dc4 --- /dev/null +++ b/chapter-qkd/Makefile @@ -0,0 +1 @@ +../Chapter_Makefile \ No newline at end of file diff --git a/chapter-smpc/Makefile b/chapter-smpc/Makefile new file mode 120000 index 0000000..3322dc4 --- /dev/null +++ b/chapter-smpc/Makefile @@ -0,0 +1 @@ +../Chapter_Makefile \ No newline at end of file diff --git a/chapter-smpc/chapter.tex b/chapter-smpc/chapter.tex new file mode 100644 index 0000000..06d6de1 --- /dev/null +++ b/chapter-smpc/chapter.tex @@ -0,0 +1,193 @@ +\documentclass[11pt,a4paper,notitlepage,twoside]{report} +\usepackage[ngerman, english]{babel} +\usepackage[utf8]{inputenc} +\usepackage[a4paper, top=3cm, bottom=3.5cm, inner=3.5cm, outer=5cm, marginpar=3.8cm]{geometry} +\usepackage[T1]{fontenc} +\usepackage{amssymb} +\usepackage{amsmath} +\usepackage{listings} +\usepackage{eurosym} +\usepackage{wasysym} +\usepackage{extdash} +\usepackage{amsthm} +\usepackage{mwe} +\usepackage{tabularx} +\usepackage{multirow} +\usepackage{multicol} +\usepackage{tikz} +\usepackage{mathtools} +\usepackage{setspace} +\usepackage{titlesec} +\usepackage{fancybox} +\usepackage{fancyhdr} +\usepackage[binary-units,per-mode=fraction]{siunitx} +\usepackage[hidelinks]{hyperref} +\usepackage{commath} +\usepackage{graphicx,color} +\usepackage{ccicons} +\usepackage{subcaption} +\usepackage{float} +\usepackage{footmisc} +\usepackage{array} +\usepackage[underline=false]{pgf-umlsd} +\usetikzlibrary{calc} +\usepackage{epstopdf} +\usepackage{pdfpages} +\usepackage{etoolbox} +\usepackage{catchfile} +\usepackage{minitoc} +\usepackage{minted} % pygmentized source code +%\usepackage[pdftex]{graphicx,color} +%\usepackage{showframe} % Useful for page layout debugging + +\DeclareSIUnit{\baud}{Bd} + +\DeclarePairedDelimiter{\ceil}{\lceil}{\rceil} +\DeclarePairedDelimiter{\paren}{(}{)} + +\usepackage[ + backend=biber, + style=numeric, + natbib=true, + url=false, + doi=true, + eprint=false, + % Make the split online / other resource bibliographies behave + defernumbers=true, + ]{biblatex} +\addbibresource{../main.bib} +\DeclareSourcemap{ + \maps[datatype=bibtex]{ + \map{ + \step[fieldsource=doi,final] + \step[fieldset=isbn,null] + \step[fieldset=issn,null] + \step[fieldset=url,null] + } + \map{ + \step[fieldsource=isbn,final] + \step[fieldset=issn,null] + \step[fieldset=url,null] + } + } +} + +\renewcommand{\thesection}{\arabic{section}} +\renewcommand{\thesubsection}{\arabic{section}.\arabic{subsection}} +\renewcommand{\thesubsubsection}{\arabic{section}.\arabic{subsection}.\arabic{subsubsection}} + +% Re-define heading formats to force single line spacing +\titleformat{\section}{\normalfont\large\bfseries\singlespacing}{\thesection}{1em}{} +\titleformat{\subsection}{\normalfont\large\bfseries\singlespacing}{\thesubsection}{1em}{} +\titleformat{\subsubsection}{\normalfont\large\bfseries\singlespacing}{\thesubsubsection}{1em}{} + +\newcommand{\degree}{\ensuremath{^\circ}} +\newcolumntype{P}[1]{>{\centering\arraybackslash}p{#1}} +\definecolor{todoboxcolor}{RGB}{251 224 252} + +\pagestyle{fancy} + +\fancyhead[C]{} +\fancyhead[ER]{\footnotesize% + \ifdefined\thesispreviewmode % + (draft \texttt{\input{version.tex}\unskip}) % + \fi % +\leftmark} +\fancyhead[OL]{\footnotesize\rightmark} +\fancyhead[EL,OR]{\thepage} + +\fancyfoot[LCR]{} + +\fancypagestyle{plain}{% + \fancyhf{}% + \renewcommand{\headrulewidth}{0pt}% + \renewcommand{\footrulewidth}{0pt}% +} + +\raggedbottom + +\renewcommand{\chaptermark}[1]{\markboth{Chapter \thechapter: #1}{}} +\renewcommand{\sectionmark}[1]{\markright{\thesection\ #1}} +\addtolength{\headwidth}{\marginparsep} +\addtolength{\headwidth}{\marginparwidth} +\addtolength{\headwidth}{-1cm} + +\newcommand{\todo}[1]{ + \ifdefined\thesispreviewmode + \marginpar{ + \setlength{\fboxsep}{2mm} + \shadowbox{ + \parbox{3cm}{ + \singlespacing + \raggedright + \textsf{ + \small\textbf{To do}\\ + \footnotesize#1 + } + } + } + } + \fi +} + +\newcommand{\todoplaceholder}[1]{\textbf{TODO}\todo{#1}} + +% https://tex.stackexchange.com/questions/30720/footnote-without-a-marker +\newcommand\blfootnote[1]{% + \begingroup + \renewcommand\thefootnote{}\footnote{#1}% + \addtocounter{footnote}{-1}% + \endgroup +} + +\newcommand{\figurepath}{figures} +\graphicspath{{\figurepath}} +\newcommand{\figureattrib}[1]{% + \input{\figurepath/#1.latex_meta} % + \scriptsize + \ifdefined\thesispreviewmode\resourcestate\ \resourcescale\\\fi% + Resource: % + \texttt{\resourcerepo/\resourcepath} % + rev \texttt{\resourcerev} % + (\underline{\href{\resourceurl}{link}})% +} + +\newcommand{\draftgraphics}{\ifdefined\thesispreviewmode\textcolor{red}{\bfseries Not final graphics. }\fi} +\newcommand{\camerareadygraphics}{\ifdefined\thesispreviewmode Camera-ready graphics. \fi} +\newcommand{\scaledgraphics}[1]{\ifdefined\thesispreviewmode scaled-#1\else#1\fi} + +\newcommand{\imgsource}[4]{\scriptsize% + Image source: #1, #2 (\underline{\href{#4}{link}}). % + Licensed #3.} + +\hyphenation{a-me-na-ble} + +\begin{document} +\dominitoc +\faketableofcontents + +\chapter{Secure Multiparty Computation in Scalable Hardware Security Modulese} +\ifdefined\thesispreviewmode +{\Large \textbf{Draft build}, git revision \texttt{\input{version.tex}}} +\fi +\minitoc +\newpage +\setstretch{1.3} + +\section{Trust by Committee} + +\section{Outlook} + +\clearpage % clearpage flushes all figures. force this here so we don't get figures floating in between references. +% TODO when breaking this out into a template for building both the whole thesis and individual chapters, we have to +% decide whether we want to keep the bibliography per-chapter or only once for the whole thesis. In the latter case, we +% probably want to replace subbibintoc with bibintoc, or add a custom "bibliography" chapter and adjust the second +% bibliography's heading +\newrefcontext[labelprefix={W}] +\printbibliography[type={online},title={Web sources},heading=subbibintoc] +\newrefcontext +\printbibliography[nottype={online},resetnumbers,heading=subbibintoc] + +\appendix + +\end{document} diff --git a/main.bib b/main.bib index 793d702..7879f2d 100644 --- a/main.bib +++ b/main.bib @@ -1,3 +1,15 @@ +@book{2019ConferenceInformation2019, + title = {2019 {{Conference}} on {{Information Communications Technology}} and {{Society}} ({{ICTAS}}): {{Durban}}, {{South Africa}}, 6, 7 and 8 {{March}} 2019}, + shorttitle = {2019 {{Conference}} on {{Information Communications Technology}} and {{Society}} ({{ICTAS}})}, + date = {2019}, + publisher = {IEEE}, + location = {Piscataway, NJ}, + eventtitle = {Conference on {{Information Communications Technology}} and {{Society}}}, + isbn = {978-1-5386-7365-2}, + langid = {english}, + pagetotal = {1} +} + @online{adhikariDonLookUbiquitous2022, title = {Don't {{Look Up}}: {{Ubiquitous Data Exfiltration Pathways}} in {{Commercial Spaces}}}, shorttitle = {Don't {{Look Up}}}, @@ -43,6 +55,23 @@ file = {/home/jaseg/Zotero/storage/586UJPWU/Albertini et al. - How to Abuse and Fix Authenticated Encryption With.pdf} } +@article{alendalChipChopSmashing2021, + title = {Chip Chop — Smashing the Mobile Phone Secure Chip for Fun and Digital Forensics}, + author = {Alendal, Gunnar and Axelsson, Stefan and Dyrkolbotn, Geir Olav}, + date = {2021-07}, + journaltitle = {Forensic Science International: Digital Investigation}, + shortjournal = {Forensic Science International: Digital Investigation}, + volume = {37}, + pages = {301191}, + issn = {26662817}, + doi = {10.1016/j.fsidi.2021.301191}, + url = {https://linkinghub.elsevier.com/retrieve/pii/S2666281721000998}, + urldate = {2024-12-13}, + langid = {english}, + keywords = {sampling-mesh}, + file = {/home/jaseg/Sync/Research/Zotero/Alendal et al_2021_Chip chop — smashing the mobile phone secure chip for fun and digital forensics.pdf} +} + @online{alievExperimentalDemonstrationScalable2023, title = {Experimental Demonstration of Scalable Quantum Key Distribution over a Thousand Kilometers}, author = {Aliev, A. and Statiev, V. and Zarubin, I. and Kirsanov, N. and Strizhak, D. and Bezruchenko, A. and Osicheva, A. and Smirnov, A. and Yarovikov, M. and Kodukhov, A. and Pastushenko, V. and Pflitsch, M. and Vinokur, V.}, @@ -67,6 +96,22 @@ file = {/home/jaseg/Zotero/storage/ITYF3KAN/Alomair - Information Theoretically Secure Encryption with A.pdf} } +@inproceedings{amhenriorDesignImplementationAutomatic2017, + title = {Design and Implementation of an Automatic Tamper Detection and Reporting Capability for a Single Phase Energy Meter}, + booktitle = {2017 {{IEEE}} 3rd {{International Conference}} on {{Electro-Technology}} for {{National Development}} ({{NIGERCON}})}, + author = {Amhenrior, H. E. and Edeko, F. O. and Ogujor, E. A. and Emagbetere, J. O.}, + date = {2017-11}, + pages = {1--9}, + issn = {2377-2697}, + doi = {10.1109/NIGERCON.2017.8281947}, + url = {https://ieeexplore.ieee.org/document/8281947/?arnumber=8281947&tag=1}, + urldate = {2024-12-13}, + abstract = {In this paper, the design and implementation of automatic tamper detection and reporting capability of Energy meter was carried out. The system has the capability to detect bypass internally on the meter and externally on the service cables from the electric pole. It also incorporates wireless disconnection and connection of load capabilities. This becomes imperative as a result of high rate of energy theft that arises from meter tampering. The system comprises of a developed Single Phase Prepayment Energy Meter and the supply authority Global System for Mobile Communications (GSM) capable device platform. The meter is made of the energy meter IC, two microcontrollers which are suitably programmed in C++, one for Energy measurement and the other for monitoring of meter activities especially terminal tamper and communications. It also has the tamper switch, the circuit breaker and the GSM modem (SIM900) which is interfaced to the monitoring microcontroller. The modem is used for communication particularly in Short Message Service (SMS) form with the supply authority. The server and the Application Platform communicates with the meter using developed commands available to only the supply authority. The use of Wireless Current Transducers (WCT) for the detection of energy theft through external bypass of the Prepaid Meter was also proposed to be incorporated in the system. The results obtained show satisfactory tamper detection and reporting as well as wireless connection with 100\% success rate recorded as implemented.}, + eventtitle = {2017 {{IEEE}} 3rd {{International Conference}} on {{Electro-Technology}} for {{National Development}} ({{NIGERCON}})}, + keywords = {Automatic Tamper Reporting,Companies,Developed Commands,GSM,Meters,Microcontroller,Microcontrollers,Monitoring,Pins,SMS,Wireless Connection}, + file = {/home/jaseg/Sync/Research/Zotero/Amhenrior et al_2017_Design and implementation of an automatic tamper detection and reporting.pdf;/home/jaseg/Zotero/storage/8E7R2D7Z/8281947.html} +} + @incollection{amiriEfficientUnconditionallySecure2018, title = {Efficient {{Unconditionally Secure Signatures Using Universal Hashing}}}, booktitle = {Applied {{Cryptography}} and {{Network Security}}}, @@ -106,6 +151,47 @@ file = {/home/jaseg/Sync/Research/Zotero/2020_Amitonova et al_Quantum key establishment via a multimode fiber.pdf} } +@inproceedings{anderson1996tamper, + title = {Tamper Resistance-a Cautionary Note}, + booktitle = {Proceedings of the Second {{Usenix}} Workshop on Electronic Commerce}, + author = {Anderson, Ross and Kuhn, Markus}, + date = {1996}, + volume = {2}, + pages = {1--11} +} + +@article{andersonCryptographicProcessorsASurvey2006, + title = {Cryptographic {{Processors-A Survey}}}, + author = {Anderson, R. and Bond, M. and Clulow, J. and Skorobogatov, S.}, + date = {2006-02}, + journaltitle = {Proceedings of the IEEE}, + volume = {94}, + number = {2}, + pages = {357--369}, + issn = {1558-2256}, + doi = {10.1109/JPROC.2005.862423}, + url = {https://ieeexplore.ieee.org/document/1580505/?arnumber=1580505}, + urldate = {2025-04-04}, + abstract = {Tamper-resistant cryptographic processors are becoming the standard way to enforce data-usage policies. Their origins lie with military cipher machines and PIN processing in banking payment networks, expanding in the 1990s into embedded applications: token vending machines for prepayment electricity and mobile phone credit. Major applications such as GSM mobile phone identification and pay TV set-top boxes have pushed low-cost cryptoprocessors toward ubiquity. In the last five years, dedicated crypto chips have been embedded in devices such as game console accessories and printer ink cartridges, to control product and accessory after markets. The "Trusted Computing" initiative will soon embed cryptoprocessors in PCs so they can identify each other remotely. This paper surveys the range of applications of tamper-resistant hardware and the array of attack and defense mechanisms which have evolved in the tamper-resistance arms race.}, + eventtitle = {Proceedings of the {{IEEE}}}, + keywords = {Banking,Cryptography,Cryptoprocessor,Embedded computing,fault analysis,GSM,Hardware,HSM,Ink,Mobile handsets,Personal communication networks,power analysis,Printers,security API,semi-invasive attack,survey,TV}, + file = {/home/jaseg/Sync/Research/Zotero/2006_Anderson et al_Cryptographic Processors-A Survey.pdf;/home/jaseg/Zotero/storage/GL9SELT6/1580505.html} +} + +@book{andersonSecurityEngineeringGuide2020, + title = {Security {{Engineering}}: {{A Guide}} to {{Building Dependable Distributed Systems}}}, + shorttitle = {Security {{Engineering}}}, + author = {Anderson, Ross}, + date = {2020-12-22}, + edition = {1}, + publisher = {Wiley}, + doi = {10.1002/9781119644682}, + url = {https://onlinelibrary.wiley.com/doi/book/10.1002/9781119644682}, + urldate = {2024-12-03}, + isbn = {978-1-119-64278-7}, + langid = {english} +} + @online{AntimatterAlgorithmThat, title = {Antimatter: An Algorithm That Prunes {{CRDT}}/{{OT}} History}, url = {https://braid.org/antimatter}, @@ -303,6 +389,23 @@ file = {/home/jaseg/Zotero/storage/PT8K829W/Bartusek and Khurana - 2023 - Cryptography with Certified Deletion.pdf} } +@article{batraEffectFerriteAddition2015, + title = {Effect of Ferrite Addition above the Base Ferrite on the Coupling Factor of Wireless Power Transfer for Vehicle Applications}, + author = {Batra, T. and Schaltz, E. and Ahn, S.}, + date = {2015-05-07}, + journaltitle = {Journal of Applied Physics}, + volume = {117}, + number = {17}, + pages = {17D517}, + issn = {0021-8979, 1089-7550}, + doi = {10.1063/1.4919039}, + url = {https://pubs.aip.org/jap/article/117/17/17D517/387226/Effect-of-ferrite-addition-above-the-base-ferrite}, + urldate = {2024-10-30}, + abstract = {Power transfer capability of wireless power transfer systems is highly dependent on the magnetic design of the primary and secondary inductors and is measured quantitatively by the coupling factor. The inductors are designed by placing the coil over a ferrite base to increase the coupling factor and reduce magnetic emissions to the surroundings. Effect of adding extra ferrite above the base ferrite at different physical locations on the self-inductance, mutual inductance, and coupling factor is under investigation in this paper. The addition can increase or decrease the mutual inductance depending on the placement of ferrite. Also, the addition of ferrite increases the self-inductance of the coils, and there is a probability for an overall decrease in the coupling factor. Correct placement of ferrite, on the other hand, can increase the coupling factor relatively higher than the base ferrite as it is closer to the other inductor. Ferrite being a heavy compound of iron increases the inductor weight significantly and needs to be added judiciously. Four zones have been identified in the paper, which shows different sensitivity to addition of ferrite in terms of the two inductances and coupling factor. Simulation and measurement results are presented for different air gaps between the coils and at different gap distances between the ferrite base and added ferrite. This paper is beneficial in improving the coupling factor while adding minimum weight to wireless power transfer system.}, + langid = {english}, + file = {/home/jaseg/Zotero/storage/YYVWKXCV/Batra et al. - 2015 - Effect of ferrite addition above the base ferrite .pdf} +} + @incollection{baumMozMathbbArella2022, title = {Moz\$\$\textbackslash mathbb \{\vphantom\}{{Z}}\vphantom\{\}\_\{2\textasciicircum k\}\$\$arella: {{Efficient Vector-OLE}} and {{Zero-Knowledge Proofs}} over \$\$\textbackslash mathbb \{\vphantom\}{{Z}}\vphantom\{\}\_\{2\textasciicircum k\}\$\$}, shorttitle = {Moz\$\$\textbackslash mathbb \{\vphantom\}{{Z}}\vphantom\{\}\_\{2\textasciicircum k\}\$\$arella}, @@ -363,6 +466,23 @@ file = {/home/jaseg/Zotero/storage/VVPMC5NB/pal.html} } +@article{bencivenniTimeDomainReflectometer2013, + title = {A {{Time Domain Reflectometer}} with 100 ~ Ps Precision Implemented in a Cost-Effective {{FPGA}} for the Test of the {{KLOE-2 Inner Tracker}} Readout Anodes}, + author = {Bencivenni, G. and Czerwinski, E. and De Lucia, E. and De Robertis, G. and Domenici, D. and Erriquez, O. and Fanizzi, G. and Felici, G. and Liuzzi, R. and Loddo, F. and Mongelli, M. and Morello, G. and Ranieri, A. and Valentino, V.}, + date = {2013-01-11}, + journaltitle = {Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment}, + shortjournal = {Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment}, + volume = {698}, + pages = {185--191}, + issn = {0168-9002}, + doi = {10.1016/j.nima.2012.10.023}, + url = {https://www.sciencedirect.com/science/article/pii/S0168900212011552}, + urldate = {2025-03-11}, + abstract = {A Time Domain Reflectometer implemented in a single cost-effective Field Programmable Gate Array device is shown to achieve a precision around 100ps. The Time to Digital Converter section of the device is based on a tapped delay line followed by an encoder and shows both Differential and Integral Non-Linearity below one least significant bit. The same Field Programmable Gate Array houses an 8051 8-bits microprocessor, for the control of the pulse signals generation, the acquisition and the first treatment of raw data. Principles of operation, architecture, performance and preliminary trials on the prototype are presented in this paper. As an example of possible application, the proposed circuit has been usefully used to perform the quality control of the micro-strip anodic planes of the Gas Electron Multiplier Inner Tracker of the KLOE-2 experiment.}, + keywords = {Field Programmable Gate Array (FPGA),Micro-strip,Statistical Code Method,Tapped delay line,Time Domain Reflectometer (TDR)}, + file = {/home/jaseg/Zotero/storage/WITGACG9/S0168900212011552.html} +} + @inproceedings{benderDangersStochasticParrots2021, title = {On the {{Dangers}} of {{Stochastic Parrots}}: {{Can Language Models Be Too Big}}? 🦜}, shorttitle = {On the {{Dangers}} of {{Stochastic Parrots}}}, @@ -385,7 +505,7 @@ @article{bennettGeneralizedPrivacyAmplification1995, title = {Generalized Privacy Amplification}, author = {Bennett, C.H. and Brassard, G. and Crepeau, C. and Maurer, U.M.}, - year = {Nov./1995}, + date = {1995-11}, journaltitle = {IEEE Transactions on Information Theory}, shortjournal = {IEEE Trans. Inform. Theory}, volume = {41}, @@ -629,6 +749,37 @@ file = {/home/jaseg/Sync/Research/Zotero/2006_Brodsky et al_Polarization Mode Dispersion of Installed Fibers.pdf;/home/jaseg/Zotero/storage/CAAVGKF5/4063384.html} } +@patent{brodskyTamperRespondentAssemblyFlexible2019, + type = {patentus}, + title = {Tamper-{{Respondent Assembly With Flexible Tamper-Detect Sensor}}(s) {{Overlying In-Situ-Formed Tamper-Detect Sensor}}}, + author = {Brodsky, William L. and Busby, James A. and Dangler, John R. and Dragone, Silvio and Fisher, Michael J. and Long, David C.}, + holder = {{Internationnal Business Machines Corporation}}, + date = {2019-06-18}, + number = {10,327,329 B2}, + abstract = {Tamper-respondent assemblies and methods of fabrication are provided which include an enclosure, an in -situ -formed tamper-detect sensor, and one ormore flexible tamper-detect sensors. The enclosure encloses, at least in part, one ormore electronic components to be protected , and the in -situ formed tamper-detect sensor is formed in place over an inner surface of the enclosure. The flexible tamper-detect sensor(s ) is disposed over the in -situ -formed tamper-detect sensor, such that the in -situ -formed tamper-detect sensor is between the inner surface of the enclosure and the flexible tamper-detect sensor(s). Together the in -situ -formed tamper detect sensor and flexible tamper-detect sensor(s) facilitate defining, at least in part, a secure volume about the one or more electronic components.}, + langid = {english}, + file = {/home/jaseg/Zotero/storage/926C5HNT/Long - Michael J. Fisher, Poughkeepsie, NY.pdf} +} + +@patent{busbyTamperDetectionEnclosuretoboard2020, + type = {patentus}, + title = {Tamper Detection at Enclosure-to-Board Interface}, + author = {Busby, James A. and HIGBY, Arthur J. and Long, David C. and Fisher, Michael J. and Budd, Russell A. and Turgeon, Michel and Tetreault, Sylvain}, + holder = {{International Business Machines Corp}}, + date = {2020-03-17}, + number = {10595401B1}, + url = {https://patents.google.com/patent/US10595401B1/en}, + urldate = {2025-04-04}, + keywords = {circuit board,enclosure,respondent,respondent sensor,tamper}, + file = {/home/jaseg/Sync/Research/Zotero/2020_Busby et al_Tamper detection at enclosure-to-board interface.pdf} +} + +@online{BypassingGlitterNail, + title = {Bypassing the {{Glitter Nail Polish Tamper Evident Seal}}}, + url = {https://hoodiepony.medium.com/bypassing-the-glitter-nail-polish-tamper-evident-seal-25d6973d617d}, + organization = {Bypassing the Glitter Nail Polish Tamper Evident Seal} +} + @online{byPCBsLinearMotors2018, title = {{{PCBs As Linear Motors}}}, author = {By}, @@ -761,6 +912,34 @@ file = {/home/jaseg/Zotero/storage/LZU2NVHW/Castryck and Decru - 2023 - An Efficient Key Recovery Attack on SIDH.pdf} } +@article{chafiDesignMethodPCB2021, + title = {Design {{Method}} of {{PCB Inductors}} for {{High-Frequency GaN Converters}}}, + author = {Chafi, Ammar and Idir, Nadir and Videt, Arnaud and Maher, Hassan}, + date = {2021-01}, + journaltitle = {IEEE Transactions on Power Electronics}, + volume = {36}, + number = {1}, + pages = {805--814}, + issn = {1941-0107}, + doi = {10.1109/TPEL.2020.3000438}, + url = {https://ieeexplore.ieee.org/document/9110799/?arnumber=9110799&tag=1}, + urldate = {2024-11-14}, + abstract = {The new power Gallium Nitride transistors allow to increase the operating frequency of converters to megahertz range, thanks to their low switching time that is of a few nanoseconds or less. This permits to reduce the values and the volume of the passive components, and enhance the power density of power converters. However, inductors needed for energy storage still take a large volume in converters compared with the others components, because of their weak energy density. Furthermore, high-frequency operation require low-losses magnetic materials. In this article, a design method of PCB inductors is proposed. A flexible ferrite sheet is used to enhance the inductance value and ease the realization of custom-shape devices. The design method of the inductor is based on the optimization of the inductor volume taking into account thermal issues of the magnetic sheets. Also a simulation method is proposed to calculate the equivalent stray capacitance of the inductors. The proposed method provides a losses volume tradeoff that helps designers to optimize the inductor for their application.}, + eventtitle = {{{IEEE Transactions}} on {{Power Electronics}}}, + keywords = {Copper,Flexible magnetic sheets,Gallium nitride,GaN converters,Inductance,Inductors,Magnetic resonance imaging,optimization of volume,PCB inductor,Saturation magnetization,thermal issues,Toroidal magnetic fields}, + file = {/home/jaseg/Sync/Research/Zotero/Chafi et al_2021_Design Method of PCB Inductors for High-Frequency GaN Converters.pdf;/home/jaseg/Zotero/storage/WNNSSCEQ/9110799.html} +} + +@book{chanceWaveforms1949, + title = {Waveforms}, + editor = {Chance, Britton and Hughes, Vernon and MacNichol, Edward F. and Sayre, David and Williams, Frederic C.}, + date = {1949}, + series = {{{MIT Radiation Laboratory}}}, + volume = {19}, + publisher = {McGraw-Hill}, + location = {New York} +} + @incollection{chanCommittingAuthenticatedEncryption2022, title = {On {{Committing Authenticated-Encryption}}}, booktitle = {Computer {{Security}} – {{ESORICS}} 2022}, @@ -810,6 +989,35 @@ langid = {english} } +@inproceedings{chituAlgorithmDesignConductive2020, + title = {Algorithm to {{Design Conductive Mesh}} for {{Tamperproof Envelope}}}, + booktitle = {2020 {{IEEE}} 26th {{International Symposium}} for {{Design}} and {{Technology}} in {{Electronic Packaging}} ({{SIITME}})}, + author = {Chiţu, Sorin and Vasile, Daniel Ciprian and Honceriu, Tudor Ioan and Svasta, Paul}, + date = {2020-10}, + pages = {106--108}, + issn = {2642-7036}, + doi = {10.1109/SIITME50350.2020.9292275}, + url = {https://ieeexplore.ieee.org/document/9292275/?arnumber=9292275}, + urldate = {2024-10-31}, + abstract = {Protection of the Critical Security Parameters is a permanent concern for the designers, but also for the users of cryptographic equipment. The usage of a conductive mesh is a sensitive and efficient solution in order to protect the firmware, keys or any other sensitive data that could be contained in a cryptographic module. In order to improve the security provided by this principle, based on the flexibility of common technology that can be used to produce PCBs, an algorithm to produce particular designs of conductive mesh on PCBs starting from random bit strings is present in this article. Random design of conductive mesh is useful in order to increase the unpredictability of its electrical characteristics so, in addition to the sensitivity of this conductive mesh which will detect and react even to any attempt of measuring it by probes, an attacker will not have any information which can be exploited. The proposed innovative algorithm provides filling of the full area of envelope which cover the cryptographic module, even if its perimeter is irregular, according to necessary dimensions and profile, keeping traces on a dense grid, without any uncovered areas. The main advantage of the proposed solution consists of the possibility to implement a fully automated production flux, without human participation, and with an increased level of security due to unpredictable electrical characteristics of conductive mesh generated from a true random bit string.}, + eventtitle = {2020 {{IEEE}} 26th {{International Symposium}} for {{Design}} and {{Technology}} in {{Electronic Packaging}} ({{SIITME}})}, + keywords = {algorithm,Cryptography,Electric variables,Electronics packaging,Generators,mesh,Probes,Production,random,sampling-mesh,security,Sensitivity,tamperproof}, + file = {/home/jaseg/Sync/Research/Zotero/Chiţu et al_2020_Algorithm to Design Conductive Mesh for Tamperproof Envelope.pdf;/home/jaseg/Zotero/storage/XPN3D8DA/9292275.html} +} + +@patent{chockPointSaleTerminal2009, + type = {patentus}, + title = {Point of Sale Terminal Having Pulsed Current Tamper Control Sensing}, + author = {Chock, Raymond O. and Hess, Mark}, + holder = {{Zilog Inc}}, + date = {2009-06-23}, + number = {7551098B1}, + url = {https://patents.google.com/patent/US7551098B1/en}, + urldate = {2025-04-04}, + keywords = {tamper,tamper detect,terminal,time,voltage}, + file = {/home/jaseg/Sync/Research/Zotero/2009_Chock_Hess_Point of sale terminal having pulsed current tamper control sensing.pdf} +} + @article{choiHalbachMagneticCircuit2010, title = {Halbach {{Magnetic Circuit}} for {{Voice Coil Motor}} in {{Hard Disk Drives}}}, author = {Choi, Young-Man and Ahn, Da-Hoon and Gweon, Dae-Gab and Jeong, Jae-Hwa}, @@ -887,6 +1095,36 @@ file = {/home/jaseg/Zotero/storage/RKFV7HX5/Choudhuri et al. - 2021 - Fluid MPC Secure Multiparty Computation with Dyna.pdf} } +@inreference{ChubbDetectorLock2025, + title = {Chubb Detector Lock}, + booktitle = {Wikipedia}, + date = {2025-01-05T23:12:12Z}, + url = {https://en.wikipedia.org/w/index.php?title=Chubb_detector_lock&oldid=1267621709}, + urldate = {2025-04-17}, + abstract = {A Chubb detector lock is a lever tumbler lock with an integral security feature, a re-locking device, which frustrates unauthorised access attempts and indicates to the lock's owner that it has been interfered with. When someone tries to pick the lock or to open it using the wrong key, the lock is designed to jam in a locked state until (depending on the lock) either a special regulator key or the original key is inserted and turned in a different direction. This alerts the owner to the fact that the lock has been tampered with. Any person who attempts to pick a detector lock must avoid triggering the automatic jamming mechanism. If the automatic jamming mechanism is accidentally triggered (which happens when any one of the levers is lifted too high) the lock-picker has the additional problem of resetting the detector mechanism before the next attempt to open the lock. This introduces additional complexity into the task, increasing the degree of lock-picking skill required to a level which few people have. The first detector lock was produced in 1818 by Jeremiah Chubb of Portsmouth, England, as the result of a government competition to create an unpickable lock. It remained unpicked until the Great Exhibition of 1851.}, + langid = {english}, + annotation = {Page Version ID: 1267621709}, + file = {/home/jaseg/Zotero/storage/689DCTN6/Chubb_detector_lock.html} +} + +@inproceedings{cifuentesPoorMansHardware2016, + title = {Poor {{Man}}'s {{Hardware Security Module}} ({{pmHSM}}): {{A Threshold Cryptographic Backend}} for {{DNSSEC}}}, + shorttitle = {Poor {{Man}}'s {{Hardware Security Module}} ({{pmHSM}})}, + booktitle = {Proceedings of the 9th {{Latin America Networking Conference}}}, + author = {Cifuentes, Francisco and Hevia, Alejandro and Montoto, Francisco and Barros, Tomás and Ramiro, Victor and Bustos-Jiménez, Javier}, + date = {2016-10-13}, + pages = {59--64}, + publisher = {ACM}, + location = {Valparaiso Chile}, + doi = {10.1145/2998373.2998452}, + url = {https://dl.acm.org/doi/10.1145/2998373.2998452}, + urldate = {2024-12-13}, + eventtitle = {{{LANC}} '16: {{Latin America Networking Conference}}}, + isbn = {978-1-4503-4591-0}, + langid = {english}, + keywords = {sampling-mesh} +} + @online{ClavisXGQKD2024, title = {Clavis {{XG QKD System Brochure}}}, date = {2024-07}, @@ -1018,6 +1256,36 @@ file = {/home/jaseg/Zotero/storage/PXJ2VHWV/Damgård and Scafuro - 2013 - Unconditionally Secure and Universally Composable .pdf} } +@article{daneshDifferentiallyDrivenSymmetric2002, + title = {Differentially Driven Symmetric Microstrip Inductors}, + author = {Danesh, M. and Long, J.R.}, + date = {2002-01}, + journaltitle = {IEEE Transactions on Microwave Theory and Techniques}, + volume = {50}, + number = {1}, + pages = {332--341}, + issn = {1557-9670}, + doi = {10.1109/22.981285}, + url = {https://ieeexplore.ieee.org/document/981285/?arnumber=981285}, + urldate = {2024-10-31}, + abstract = {A differentially excited symmetric inductor that enhances inductor quality (Q) factor on silicon RFICs is presented. Compared with an equivalent single-ended configuration, experimental data demonstrate that the differential inductor offers a 50\% greater Q factor and a broader range of operating frequencies. Predictions from full-wave simulations and a physics-based SPICE-compatible model are validated by experimental measurements on an inductor fabricated in a triple-level metal silicon technology. Application of the symmetric inductor to a cross-coupled oscillator improves output voltage swing and phase noise by 75\% and 1.8 dB, respectively (for a given power consumption), while chip area is reduced by 35\% compared to conventional inductor equivalents.}, + eventtitle = {{{IEEE Transactions}} on {{Microwave Theory}} and {{Techniques}}}, + keywords = {Frequency,Inductors,Microstrip,Phase noise,Predictive models,Q factor,Radiofrequency integrated circuits,Semiconductor device measurement,Silicon,Voltage-controlled oscillators}, + file = {/home/jaseg/Sync/Research/Zotero/Danesh_Long_2002_Differentially driven symmetric microstrip inductors.pdf;/home/jaseg/Zotero/storage/M8393BNA/981285.html} +} + +@patent{danglerMethodManufacturingVenting2015, + type = {patentus}, + title = {Method of {{Manufacturing}} a {{Venting Device}} for {{Tamper Resistant Electronic Modules}}}, + author = {Dangler, John Richard and Isaacs, Phillip Duane and Sinha, Arvind Kumar}, + holder = {{International Business Machines Corporation}}, + date = {2015-02-24}, + number = {8,961,280 B2}, + abstract = {Atamper resistant enclosure for an electronic circuit includes an inner copper case, a tamper sensing mesh wrapped around the inner case, an outer copper case enclosing the inner case and the tamper sensing mesh, and a venting device forming a vent channel from inside the inner case to outside the outer case, the vent channel passing between overlapping layers of the tamper sensing mesh and having at least one right angle bend along its length. The venting device consists of two strips of a thin polyamide coverlay material laminated together along their length, and a length of wool yarn sand wiched between the two thin strips and extending from one end of the strips to the other end of the strips to form the vent channel. The length of yarn follows a Zig-Zag path between the first and second strips, the Zig-Zag path including at least one right angle bend.}, + langid = {english}, + file = {/home/jaseg/Zotero/storage/T97G59AY/Dangler et al. - (54) METHOD OF MANUFACTURING AVENTING.pdf} +} + @article{darcoSecureComputationComputers2016, title = {Secure Computation without Computers}, author = {D'Arco, Paolo and De Prisco, Roberto}, @@ -1064,6 +1332,25 @@ file = {/home/jaseg/Zotero/storage/S8S9P8L5/Deshotels - Inaudible Sound as a Covert Channel in Mobile Devi.pdf} } +@inproceedings{desouzaAuditBackupProcedures2008, + title = {Audit and Backup Procedures for Hardware Security Modules}, + booktitle = {Proceedings of the 7th Symposium on {{Identity}} and Trust on the {{Internet}}}, + author = {family=Souza, given=Túlio Cicero Salvaro, prefix=de, useprefix=true and Martina, Jean Everson and Custódio, Ricardo Felipe}, + date = {2008-03-04}, + pages = {89--97}, + publisher = {ACM}, + location = {Gaithersburg Maryland USA}, + doi = {10.1145/1373290.1373302}, + url = {https://dl.acm.org/doi/10.1145/1373290.1373302}, + urldate = {2024-12-13}, + abstract = {Hardware Security Modules (HSMs) are an useful tool to deploy public key infrastructure (PKI) and its applications. This paper presents necessary procedures and protocols to perform backup and audit in such devices when deployed in PKIs. These protocols were evaluated in an implementation of a real HSM, enabling it to perform secure backups and to provide an audit trail, two important considerations for a safe PKI operation. It also introduces a ceremony procedure to support the operation of such HSMs in a PKI environment.}, + eventtitle = {{{IDtrust}} 2008: 7th {{Symposium}} on {{Identity}} and {{Trust}} on the {{Internet}}}, + isbn = {978-1-60558-066-1}, + langid = {english}, + keywords = {sampling-mesh}, + file = {/home/jaseg/Zotero/storage/8ACFQAKY/de Souza et al. - 2008 - Audit and backup procedures for hardware security .pdf} +} + @article{diamantiPracticalChallengesQuantum2016, title = {Practical Challenges in Quantum Key Distribution}, author = {Diamanti, Eleni and Lo, Hoi-Kwong and Qi, Bing and Yuan, Zhiliang}, @@ -1154,6 +1441,22 @@ file = {/home/jaseg/Zotero/storage/KAKTBELB/Dumitru et al. - The Impostor Among US(B) Off-Path Injection Attac.pdf} } +@inproceedings{duncanFLATSFillingLogic2019, + title = {{{FLATS}}: {{Filling Logic}} and {{Testing Spatially}} for {{FPGA Authentication}} and {{Tamper Detection}}}, + shorttitle = {{{FLATS}}}, + booktitle = {2019 {{IEEE International Symposium}} on {{Hardware Oriented Security}} and {{Trust}} ({{HOST}})}, + author = {Duncan, Adam and Skipper, Grant and Stern, Andrew and Nahiyan, Adib and Rahman, Fahim and Lukefahr, Andrew and Tehranipoor, Mark and Swany, Martin}, + date = {2019-05}, + pages = {81--90}, + doi = {10.1109/HST.2019.8741025}, + url = {https://ieeexplore.ieee.org/document/8741025/?arnumber=8741025}, + urldate = {2024-12-13}, + abstract = {Security-critical field programmable gate array (FPGA) designs traditionally rely on bitstream encryption and hashing to prevent bitstream modifications and provide design authentication. Recent attacks to extract bitstream encryption keys, and research in automated bitstream manipulation tools, have created a class of vulnerabilities involving post-synthesis low-level FPGA editing. Current authentication and tamper (e.g., malicious modification) detection approaches dependent upon hash-based comparison mechanisms and register transfer level safeguards are vulnerable to these post-synthesis exploits. In this paper, we propose FLATS, which provides filling logic and testing spatially to combat such vulnerability. FLATS fills unused lookup tables (LUTs) within the FPGA design and inserts infrared-emitting spatial watermarks into the partially used LUTs at the post-synthesis stage for physical authentication and tamper detection using backside infrared imaging. FLATS takes an existing synthesized design and re-purposes a portion of its LUT initialization to function as a watermark allowing for the detection of changes to the post-synthesis placement and initialization. Experimental results validate the FLATS architecture on a 28nm Xilinx FPGA with less than 12\% look-up table utilization overhead and negligible compromises in power and speed.}, + eventtitle = {2019 {{IEEE International Symposium}} on {{Hardware Oriented Security}} and {{Trust}} ({{HOST}})}, + keywords = {3PIPs,Authentication,Encryption,Field programmable gate arrays,FPGA,Hardware,infrared,Table lookup,watermark,Watermarking}, + file = {/home/jaseg/Sync/Research/Zotero/Duncan et al_2019_FLATS.pdf;/home/jaseg/Zotero/storage/3C4TK3U3/8741025.html} +} + @article{dupontMiniaturizedUltraLowPowerTamper2022, title = {A {{Miniaturized}} and {{Ultra-Low-Power Tamper Detection Sensor}} for {{Portable Applications}}}, author = {Dupont, François and Laurent, Philippe and Montfort, Francis and Pierre, Hervé and Jeanne, Léo and Stoukatch, Serguei and Dricot, Samuel and Redouté, Jean-Michel}, @@ -1168,7 +1471,7 @@ urldate = {2024-07-25}, abstract = {This article presents a tamper detection sensor complementing cryptographic techniques in order to protect data from unauthorized access and/or from data falsification. Both the mechanical and electronic parts of the systems are described. The proposed architecture targets portable devices and can be realized using commercially available components, widely available materials and known manufacturing and assembly techniques. The tamper detection circuit is based on a capacitive sensing principle and uses ultra-low-power electronic components, leading to an overall consumed current below 10 \textbackslash mu \textbackslash textA . Autonomy is a crucial reported drawback of miniaturized battery backed-up anti-tampering hardware systems: the presented architecture and implementation ensures a lifetime of at least 3 years when powered by one CR2032 coin cell battery. The paper also assesses the sensitivity of the tamper detection: measurements show that the system is able to detect a variation of at least one percent of the capacitance of the tamper layer, resulting from an attempt to breach the outer shell surrounding the circuit for accessing the sensitive data.}, eventtitle = {{{IEEE Sensors Journal}}}, - keywords = {Batteries,Capacitive sensor,Computer architecture,data security,Encryption,FIPS 140-2,Hardware,Security,Sensors,tamper detection,Temperature sensors,ultra-low-power electronics}, + keywords = {Batteries,Capacitive sensor,Computer architecture,data security,Encryption,FIPS 140-2,Hardware,sampling-mesh,Security,Sensors,tamper detection,Temperature sensors,ultra-low-power electronics}, file = {/home/jaseg/Sync/Research/Zotero/2022_Dupont et al_A Miniaturized and Ultra-Low-Power Tamper Detection Sensor for Portable.pdf;/home/jaseg/Zotero/storage/RHDYLUS7/9682743.html} } @@ -1188,6 +1491,17 @@ file = {/home/jaseg/Sync/Research/Zotero/Dür et al_2017_Towards a quantum internet.pdf} } +@incollection{eppenAnforderungenEinzelteileRundfunkempfanger1927, + title = {Anforderungen an Die {{Einzelteile}} Der {{Rundfunkempfänger}}; {{Gesichtspunkte}} Für Den {{Bau}} Der {{Geräte}}}, + booktitle = {Die Wissenschaftlichen {{Grundlagen}} Des {{Rundfunkempfangs}}}, + author = {Eppen, F.}, + editor = {Wagner, K. W.}, + date = {1927}, + publisher = {Verlag von Julius Springer}, + location = {Berlin}, + keywords = {twisted-inductors} +} + @inproceedings{erenFringeEffectCapacitiveProximity2005, title = {Fringe-{{Effect Capacitive Proximity Sensors}} for {{Tamper Proof Enclosures}}}, author = {Eren, Halit and Sandor, L.D.}, @@ -1259,6 +1573,36 @@ file = {/home/jaseg/Sync/Research/Zotero/Fernández-Hernández et al_2016_A Navigation Message Authentication Proposal for the Galileo Open Service.pdf;/home/jaseg/Zotero/storage/IVWSDIZC/navi.html} } +@online{FewNotesAWS2024, + title = {A Few Notes on {{AWS Nitro Enclaves}}: {{Attack}} Surface}, + shorttitle = {A Few Notes on {{AWS Nitro Enclaves}}}, + date = {2024-09-24T13:00:36+00:00}, + url = {https://blog.trailofbits.com/2024/09/24/notes-on-aws-nitro-enclaves-attack-surface/}, + urldate = {2024-09-26}, + abstract = {By Paweł Płatek In the race to secure cloud applications, AWS Nitro Enclaves have emerged as a powerful tool for isolating sensitive workloads. But with great power comes great responsibility—and p…}, + langid = {american}, + organization = {Trail of Bits Blog}, + file = {/home/jaseg/Zotero/storage/6Q3M7WZH/notes-on-aws-nitro-enclaves-attack-surface.html} +} + +@book{filbigLehrbuchHochfrequenztechnik1942, + title = {Lehrbuch Der {{Hochfrequenztechnik}}}, + author = {Filbig, Fritz}, + date = {1942}, + volume = {1}, + publisher = {Akad. Verlag Becker \& Erler}, + keywords = {twisted-inductors} +} + +@book{flemingPrinciplesElectricWave1910, + title = {The {{Principles}} of {{Electric Wave Telegraphy}} and {{Telephony}}}, + author = {Fleming, J. A.}, + date = {1910}, + edition = {2}, + publisher = {{Longmans, Green, and Co.}}, + keywords = {twisted-inductor} +} + @online{fs1M12FSC, title = {1M 12F SC/APC Singlemode Farbcodiertes LWL-Pigtail - FS.com Deutschland}, author = {FS}, @@ -1270,6 +1614,24 @@ file = {/home/jaseg/Zotero/storage/CS2J3R4Q/42416.html} } +@article{ganjiHighPerformancePlanar2017, + title = {High Performance Planar Micro-Transformer Using Novel Crossover Connection}, + author = {Ganji, Bahram Azizollah and Molanzadeh, Mohammad}, + date = {2017-10-01}, + journaltitle = {Microsystem Technologies}, + shortjournal = {Microsyst Technol}, + volume = {23}, + number = {10}, + pages = {4413--4418}, + issn = {1432-1858}, + doi = {10.1007/s00542-017-3494-6}, + url = {https://doi.org/10.1007/s00542-017-3494-6}, + urldate = {2024-09-23}, + abstract = {In this paper a novel planar micro-transformer with high performance is presented. Non-uniform current density distribution, especially in inner turn, increases the effective metal resistance due to skin and proximity effect. In order to overcome this problem, a novel crossover connection between turns has been used to make equal current paths in the turns and uniform the current distribution. By reducing the current crowding effects, the effective resistance is minimized, thereby the transformer performance characteristics can be increased. Simulation has been taken using ADS Momentum and HFSS software. The results show that the quality factor, self-inductance, mutual inductance and coupling factor are about 42.6, 4.9, 3.3 nH, 0.747 respectively, at 3.5~GHz frequency. The footprint of proposed structure is 860~μm~×~860~μm. Compare with conventional micro-transformer, 17\% in quality factor, 5\% in coupling coefficient and more than 20\% in self and mutual inductance improvement has been achieved.}, + langid = {english}, + file = {/home/jaseg/Sync/Research/Zotero/2017_Ganji_Molanzadeh_High performance planar micro-transformer using novel crossover connection.pdf} +} + @article{gaoOptimalDesignPCB2024, title = {Optimal {{Design}} of {{PCB Coreless Axial Flux Permanent Magnet Synchronous Motor With Arc Windings}}}, author = {Gao, Bo and Cheng, Yuan and Wang, Yao and Zhao, Tianxu and Ding, Ling and Cui, Shumei and Liu, Xinhua and Shi, Yu}, @@ -1288,6 +1650,29 @@ file = {/home/jaseg/Sync/Research/Zotero/2024_Gao et al_Optimal Design of PCB Coreless Axial Flux Permanent Magnet Synchronous Motor.pdf} } +@inproceedings{garbFORTRESSFORtifiedTamperResistant2021, + title = {{{FORTRESS}}: {{FORtified Tamper-Resistant Envelope}} with {{Embedded Security Sensor}}}, + shorttitle = {{{FORTRESS}}}, + booktitle = {2021 18th {{International Conference}} on {{Privacy}}, {{Security}} and {{Trust}} ({{PST}})}, + author = {Garb, Kathrin and Obermaier, Johannes and Ferres, Elischa and Künig, Martin}, + date = {2021-12}, + pages = {1--12}, + doi = {10.1109/PST52912.2021.9647783}, + url = {https://ieeexplore.ieee.org/document/9647783/?arnumber=9647783}, + urldate = {2025-04-04}, + abstract = {Protecting security modules from attacks on the hardware level presents a very challenging endeavor since the attacker can manipulate the device directly through physical access. To address this issue, different physical security enclosures have been developed with the goal to cover entire hardware modules and, hence, protect them from external manipulation.Novel concepts are battery-less and based on Physical Unclonable Functions (PUFs), aiming at overcoming the most severe drawbacks of past devices; the need for active monitoring and, thus, limited battery life-time. Although some progress has already been made for certain aspects of PUF-based enclosures, the combination and integration of all required components and the creation of a corresponding architecture for Hardware Security Modules (HSMs) is still an open issue. In this paper, we present FORTRESS, a PUF-based HSM that integrates the tamper-sensitive capacitive PUF-based envelope and its embedded security sensor IC into a secure architecture. Our concept proposes a secure life cycle concept including shipment aspects, a full key generation scheme with re-enrollment capabilities, and ourthe next generation Embedded Key Management System. With FORTRESS, we take the next step towards the productive operation of PUF-based HSMs.}, + eventtitle = {2021 18th {{International Conference}} on {{Privacy}}, {{Security}} and {{Trust}} ({{PST}})}, + keywords = {capacitive enclosure,Hardware,hardware security module,Integrated circuits,physical unclonable function,Physical unclonable function,Privacy,secure life cycle,Security,Solids,Supply chains,tamper-sensitive}, + file = {/home/jaseg/Sync/Research/Zotero/2021_Garb et al_FORTRESS.pdf;/home/jaseg/Zotero/storage/7ASRDHVC/9647783.html} +} + +@thesis{garbTamperSensitiveDesignPUFBased, + title = {Tamper-Sensitive Design of PUF-Based Security Enclosures}, + author = {Garb, Kathrin A}, + langid = {ngerman}, + file = {/home/jaseg/Zotero/storage/B7UFYLEG/Garb - Tamper-Sensitive Design of PUF-Based Security Encl.pdf} +} + @article{garbWiretapChannelCapacitive2022, title = {The {{Wiretap Channel}} for {{Capacitive PUF-Based Security Enclosures}}}, author = {Garb, Kathrin and Xhemrishi, Marvin and Kürzinger, Ludwig and Frisch, Christoph}, @@ -1308,6 +1693,35 @@ file = {/home/jaseg/Zotero/storage/68BWJ8CR/Garb et al. - 2022 - The Wiretap Channel for Capacitive PUF-Based Secur.pdf} } +@software{GerbonaraToolsHandle, + title = {Gerbonara: {{Tools}} to Handle {{Gerber}} and {{Excellon}} Files in {{Python}}}, + shorttitle = {Gerbonara}, + url = {https://gitlab.com/gerbolyze/gerbonara}, + urldate = {2024-12-03}, + version = {1.4.0}, + keywords = {Artistic Software,excellon,gerber,Multimedia - Graphics,pcb,Printing,Scientific/Engineering,Scientific/Engineering - Electronic Design Automation (EDA),Scientific/Engineering - Image Processing,Utilities}, + file = {/home/jaseg/Zotero/storage/9XQ63WGV/gerbonara.html} +} + +@article{geuzaineGmsh3DFinite2009, + title = {Gmsh: {{A}} 3‐{{D}} Finite Element Mesh Generator with Built‐in Pre‐ and Post‐processing Facilities}, + shorttitle = {Gmsh}, + author = {Geuzaine, Christophe and Remacle, Jean‐François}, + date = {2009-09-10}, + journaltitle = {International Journal for Numerical Methods in Engineering}, + shortjournal = {Numerical Meth Engineering}, + volume = {79}, + number = {11}, + pages = {1309--1331}, + issn = {0029-5981, 1097-0207}, + doi = {10.1002/nme.2579}, + url = {https://onlinelibrary.wiley.com/doi/10.1002/nme.2579}, + urldate = {2024-12-03}, + abstract = {Abstract Gmsh is an open‐source 3‐D finite element grid generator with a build‐in CAD engine and post‐processor. Its design goal is to provide a fast, light and user‐friendly meshing tool with parametric input and advanced visualization capabilities. This paper presents the overall philosophy, the main design choices and some of the original algorithms implemented in Gmsh. Copyright © 2009 John Wiley \& Sons, Ltd.}, + langid = {english}, + file = {/home/jaseg/Sync/Research/Zotero/2009_Geuzaine_Remacle_Gmsh.pdf} +} + @inproceedings{gevorgianLineCapacitanceImpedance2001, title = {Line {{Capacitance}} and {{Impedance}} of {{Coplanar-Strip Waveguides}} on {{Substrates}} with {{Multiple Dielectric Layers}}}, booktitle = {31st {{European Microwave Conference}}, 2001}, @@ -1451,6 +1865,23 @@ file = {/home/jaseg/Zotero/storage/J7DQKVVH/Goos et al. - 1999 - Information Theoretically Secure Communication in .pdf} } +@article{gotteCantTouchThis2022, + title = {Can’t {{Touch This}}: {{Inertial HSMs Thwart Advanced Physical Attacks}}}, + shorttitle = {Can’t {{Touch This}}}, + author = {Götte, Jan Sebastian and Scheuermann, Björn}, + date = {2022}, + journaltitle = {IACR Transactions on Cryptographic Hardware and Embedded Systems}, + pages = {69--93}, + issn = {2569-2925}, + doi = {10.46586/tches.v2022.i1.69-93}, + url = {https://tches.iacr.org/index.php/TCHES/article/view/9290}, + urldate = {2024-11-08}, + abstract = {In this paper, we introduce a novel countermeasure against physical attacks: Inertial Hardware Security Modules (IHSMs). Conventional systems have in common that their security requires the crafting of fine sensor structures that respond to minute manipulations of the monitored security boundary or volume. Our approach is novel in that we reduce the sensitivity requirement of security meshes and other sensors and increase the complexity of any manipulations by rotating the security mesh or sensor at high speed—thereby presenting a moving target to an attacker. Attempts to stop the rotation are easily monitored with commercial MEMS accelerometers and gyroscopes. Our approach leads to an HSM that can easily be built from off-the-shelf parts by any university electronics lab, yet offers a level of security that is comparable to commercial HSMs. We have built a proof-of-concept hardware prototype that demonstrates solutions to the concept’s main engineering challenges. As part of this proof-of-concept, we have found that a system using a coarse security mesh made from commercial printed circuit boards and an automotive high-g-force accelerometer already provides a useful level of security.}, + langid = {english}, + keywords = {electronic commerce,hardware security,implementation,smart cards}, + file = {/home/jaseg/Sync/Research/Zotero/2022_Götte_Scheuermann_Can’t Touch This.pdf} +} + @inproceedings{griloObliviousTransferMiniQCrypt2021, title = {Oblivious {{Transfer Is}} in {{MiniQCrypt}}}, booktitle = {Advances in {{Cryptology}} – {{EUROCRYPT}} 2021}, @@ -1600,6 +2031,23 @@ abstract = {Contact discovery allows users of mobile messengers to conveniently connect with people in their address book. In this work, we demonstrate that severe privacy issues exist in currently deployed contact discovery methods and propose suitable mitigations.Our study of three popular messengers\ (WhatsApp, Signal, and Telegram) shows that large-scale crawling attacks are\ (still) possible. Using an accurate database of mobile phone number prefixes and very few resources, we queried\ 10 \% of\ US mobile phone numbers for\ WhatsApp and\ 100 \% for\ Signal. For\ Telegram, we find that its\ API exposes a wide range of sensitive information, even about numbers not registered with the service. We present interesting\ (cross-messenger) usage statistics, which also reveal that very few users change the default privacy settings.Furthermore, we demonstrate that currently deployed hashing-based contact discovery protocols are severely broken by comparing three methods for efficient hash reversal. Most notably, we show that with the password cracking tool\ “JTR,” we can iterate through the entire worldwide mobile phone number space in\ \< 150 s on a consumer-grade\ GPU. We also propose a significantly improved rainbow table construction for non-uniformly distributed input domains that is of independent interest.Regarding mitigations, we most notably propose two novel rate-limiting schemes: our\ incremental contact discovery for services without server-side contact storage strictly improves over\ Signal’s current approach while being compatible with private set intersection, whereas our\ differential scheme allows even stricter rate limits at the overhead for service providers to store a small constant-size state that does not reveal any contact information.} } +@inproceedings{hanScalingHardwareSecurity2019, + title = {Toward Scaling Hardware Security Module for Emerging Cloud Services}, + booktitle = {Proceedings of the 4th {{Workshop}} on {{System Software}} for {{Trusted Execution}}}, + author = {Han, Juhyeng and Kim, Seongmin and Kim, Taesoo and Han, Dongsu}, + date = {2019-10-27}, + pages = {1--6}, + publisher = {ACM}, + location = {Huntsville Ontario Canada}, + doi = {10.1145/3342559.3365335}, + url = {https://dl.acm.org/doi/10.1145/3342559.3365335}, + urldate = {2024-12-13}, + eventtitle = {{{SOSP}} '19: {{ACM SIGOPS}} 27th {{Symposium}} on {{Operating Systems Principles}}}, + isbn = {978-1-4503-6888-9}, + langid = {english}, + keywords = {sampling-mesh} +} + @article{hanspachCovertAcousticalMesh2013, title = {On {{Covert Acoustical Mesh Networks}} in {{Air}}}, author = {Hanspach, Michael and Goetz, Michael}, @@ -1618,6 +2066,21 @@ file = {/home/jaseg/Zotero/storage/W896B45Z/Hanspach and Goetz - 2013 - On Covert Acoustical Mesh Networks in Air.pdf} } +@inproceedings{haobijamQualityFactorEnhancement2007, + title = {Quality Factor Enhancement of {{CMOS}} Inductor with Pyramidal Winding of Metal Turns}, + booktitle = {2007 {{International Workshop}} on {{Physics}} of {{Semiconductor Devices}}}, + author = {Haobijam, Genemala and Paily, Roy}, + date = {2007-12}, + pages = {729--732}, + doi = {10.1109/IWPSD.2007.4472624}, + url = {https://ieeexplore.ieee.org/document/4472624/?arnumber=4472624&tag=1}, + urldate = {2024-10-30}, + abstract = {In order to exploit the available multilevel interconnects and to reduce the parasitic capacitances, the metal can be traced spirally up and/or down in a pyramidal manner. This paper presents two methods to improve the quality factor (Q) of pyramidically wound inductors. The first method utilizes bulk micromachining to improve the Q. Quality factor improvement of 14.7\% and 19.5\% and self resonating frequency improvement of 26.5\% and 30.6\% respectively were observed in 10 nH and 20 nH over conventional micromachined planar inductors. The second method to improve Q is by differential excitation and is illustrated for 8 nH and 23 nH symmetric pyramidal inductors. The performance of the pyramidically wound inductors are characterized using a full wave Electromagnetic simulator for a six metal layer 0.18 mum process.}, + eventtitle = {2007 {{International Workshop}} on {{Physics}} of {{Semiconductor Devices}}}, + keywords = {CMOS inductor,differential excitation,Etching,Inductors,Integrated inductor,micromachining,Micromachining,Parasitic capacitance,Q factor,Radiofrequency integrated circuits,Resonant frequency,Silicon,Spirals,Wounds}, + file = {/home/jaseg/Sync/Research/Zotero/2007_Haobijam_Paily_Quality factor enhancement of CMOS inductor with pyramidal winding of metal.pdf;/home/jaseg/Zotero/storage/92HTG5MX/4472624.html} +} + @inproceedings{hastingsSoKGeneralPurpose2019, title = {{{SoK}}: {{General Purpose Compilers}} for {{Secure Multi-Party Computation}}}, shorttitle = {{{SoK}}}, @@ -1675,6 +2138,13 @@ file = {/home/jaseg/Zotero/storage/CNLJAWPW/Henzinger et al. - One Server for the Price of Two Simple and Fast S.pdf} } +@article{hestermanAnalysisModelingMagnetic, + title = {Analysis and {{Modeling}} of {{Magnetic Coupling}}}, + author = {Hesterman, Bryce}, + langid = {english}, + file = {/home/jaseg/Zotero/storage/5XHEVUEN/Hesterman - Analysis and Modeling of Magnetic Coupling.pdf} +} + @thesis{hiemstraDesignMovingMagnet2014, title = {Design of {{Moving Magnet Actuators}} for {{Large-range Flexure-based Nanopositioning}}}, author = {Hiemstra, David}, @@ -1700,6 +2170,44 @@ file = {/home/jaseg/Sync/Research/Zotero/Hong et al_2020_Design and Compensation Control of a Flexible Instrument for Endoscopic Surgery.pdf;/home/jaseg/Zotero/storage/8CGJKAZ8/9196955.html} } +@article{houtman1GHzSamplingOscilloscope2000, + title = {1-{{GHz Sampling Oscilloscope Front End}} Is {{Easily Modified}}}, + author = {Houtman, Hubert}, + date = {2000-09-18}, + journaltitle = {Electronic Design}, + volume = {48}, + number = {19}, + pages = {175--176}, + issn = {0013-4872} +} + +@book{HP187BDualTrace1962, + title = {{{HP 187B Dual-Trace Vertical Amplifier Operating}} and {{Service Manual}}}, + date = {1962}, + publisher = {Hewlett-Packard Company}, + url = {http://hparchive.com/Manuals/HP-187B-Manual.pdf}, + urldate = {2025-03-11}, + file = {/home/jaseg/Zotero/storage/XU2M8JAG/HP-187B-Manual.pdf} +} + +@article{hsuAnalyticalDesignAlgorithm2008, + title = {Analytical {{Design Algorithm}} of {{Planar Inductor Layout}} in {{CMOS Technology}}}, + author = {Hsu, Heng-Ming and Chan, Kai-Yuen and Chien, Hung-Chi and Kuan, Han-Chien}, + date = {2008-11}, + journaltitle = {IEEE Transactions on Electron Devices}, + volume = {55}, + number = {11}, + pages = {3208--3213}, + issn = {1557-9646}, + doi = {10.1109/TED.2008.2004248}, + url = {https://ieeexplore.ieee.org/document/4668566/?arnumber=4668566}, + urldate = {2024-11-08}, + abstract = {A layout design algorithm for a variable-width inductor is proposed to minimize metal resistance. For a given chip area, the proposed algorithm can rapidly design metal widths of each coil in a planar inductor due to the analytical form. Two on-chip inductors with identical chip areas and inductance are fabricated to verify the proposed method in foundry 90-nm CMOS technology. Measurement results demonstrate that the improvement of metal resistance in the proposed device is approximately 19\%. The results of this paper provide an effective algorithm to design a high-Q inductor for RFIC applications.}, + eventtitle = {{{IEEE Transactions}} on {{Electron Devices}}}, + keywords = {Analytical algorithm,CMOS integrated circuits,CMOS technology,Inductors,Layout,minimum resistance,on-chip inductor,Radiofrequency integrated circuits,Resistance,variable width}, + file = {/home/jaseg/Sync/Research/Zotero/2008_Hsu et al_Analytical Design Algorithm of Planar Inductor Layout in CMOS Technology.pdf;/home/jaseg/Zotero/storage/CKPP397K/4668566.html} +} + @online{HttpsArxivOrg, title = {{{https://arxiv.org/pdf/1909.13770}}}, url = {https://arxiv.org/pdf/1909.13770}, @@ -1718,6 +2226,22 @@ urldate = {2024-06-28} } +@report{hundRadiofrequencyResistanceInductance1925, + type = {Technologic Papers of the Bureau of Standards}, + title = {Radio-Frequency Resistance and Inductance of Coils Used in Broadcast Reception.}, + author = {Hund, A. and De Groot, H.B.}, + date = {1925}, + series = {Technologic {{Papers}} of the {{Bureau}} of {{Standards}}}, + number = {T 298}, + pages = {T 298}, + institution = {National Bureau of Standards}, + doi = {10.6028/nbst.8267}, + url = {https://nvlpubs.nist.gov/nistpubs/nbstechnologic/nbstechnologicpaperT298.pdf}, + urldate = {2024-09-10}, + langid = {english}, + file = {/home/jaseg/Zotero/storage/YUEJUYMM/Hund and De Groot - 1925 - Radio-frequency resistance and inductance of coils.pdf} +} + @inproceedings{hussainTinyGarble2SmartEfficient2020, title = {{{TinyGarble2}}: {{Smart}}, {{Efficient}}, and {{Scalable Yao}}'s {{Garble Circuit}}}, shorttitle = {{{TinyGarble2}}}, @@ -1761,6 +2285,51 @@ file = {/home/jaseg/Zotero/storage/U6BHG3AD/stamp.html} } +@online{IEEEXploreFullTexta, + title = {{{IEEE Xplore Full-Text PDF}}:}, + url = {https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=8558378}, + urldate = {2024-09-10}, + file = {/home/jaseg/Zotero/storage/HJJK32NF/stamp.html} +} + +@online{IEEEXploreFullTextb, + title = {{{IEEE Xplore Full-Text PDF}}:}, + url = {https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6520632}, + urldate = {2024-09-10}, + file = {/home/jaseg/Zotero/storage/PQYCW7K7/stamp.html} +} + +@inproceedings{immlerBTREPIDBatterylessTamperresistant2018, + title = {B-{{TREPID}}: {{Batteryless}} Tamper-Resistant Envelope with a {{PUF}} and Integrity Detection}, + shorttitle = {B-{{TREPID}}}, + booktitle = {2018 {{IEEE International Symposium}} on {{Hardware Oriented Security}} and {{Trust}} ({{HOST}})}, + author = {Immler, Vincent and Obermaier, Johannes and König, Martin and Hiller, Matthias and Sig, Georg}, + date = {2018-04}, + pages = {49--56}, + doi = {10.1109/HST.2018.8383890}, + url = {https://ieeexplore.ieee.org/document/8383890/?arnumber=8383890}, + urldate = {2025-04-04}, + abstract = {Protecting embedded devices against physical attacks is a challenging task since the attacker has control of the device in a hostile environment. To address this issue, current countermeasures typically use a battery-backed tamper-respondent envelope that encloses the entire device to create a trusted compartment. However, the battery affects the system's robustness and weight, and also leads to difficulties with the security mechanism while shipping the device. In contrast, we present a batteryless tamper-resistant envelope, which contains a fine mesh of electrodes, and its complementary security concept. An evaluation unit checks the integrity of the sensor mesh by detecting short and open circuits. Additionally, it measures the capacitances of the mesh. Once its preliminary integrity is confirmed, a cryptographic key is derived from the capacitive measurements that represent a PUF, to decrypt and authenticate the firmware of the enclosed host system. We demonstrate the feasibility of our concept, provide details on the layout and electrical properties of the batteryless envelope, and explain the underlying security architecture. Practical results from a set of manufactured envelopes facilitate future research.}, + eventtitle = {2018 {{IEEE International Symposium}} on {{Hardware Oriented Security}} and {{Trust}} ({{HOST}})}, + keywords = {Batteries,Capacitance,Capacitance measurement,Cryptography,FIPS 140-2,Higher-Order Alphabet PUF (HOA PUF),Monitoring,Physical Unclonable Function (PUF),Runtime,Secure Bootstrap,Security Standards,Tamper-resistance}, + file = {/home/jaseg/Sync/Research/Zotero/2018_Immler et al_B-TREPID.pdf;/home/jaseg/Zotero/storage/3FBCSM8G/8383890.html} +} + +@article{immlerSecurePhysicalEnclosures2018, + title = {Secure {{Physical Enclosures}} from {{Covers}} with {{Tamper-Resistance}}}, + author = {Immler, Vincent and Obermaier, Johannes and Ng, Kuan Kuan and Ke, Fei Xiang and Lee, JinYu and Lim, Yak Peng and Oh, Wei Koon and Wee, Keng Hoong and Sigl, Georg}, + date = {2018-11-09}, + journaltitle = {IACR Transactions on Cryptographic Hardware and Embedded Systems}, + shortjournal = {TCHES}, + pages = {51--96}, + issn = {2569-2925}, + doi = {10.46586/tches.v2019.i1.51-96}, + url = {https://tches.iacr.org/index.php/TCHES/article/view/7334}, + urldate = {2025-04-09}, + abstract = {Ensuring physical security of multiple-chip embedded systems on a PCB is challenging, since the attacker can control the device in a hostile environment. To detect physical intruders as part of a layered approach to security, it is common to create a physical security boundary that is difficult to penetrate or remove, e.g., enclosures created from tamper-respondent envelopes or covers. Their physical integrity is usually checked by active sensing, i.e., a battery-backed circuit continuously monitors the enclosure. However, adoption is often hampered by the disadvantages of a battery and due to specialized equipment which is required to create the enclosure. In contrast, we present a batteryless tamper-resistant cover made from standard flexPCB technology, i.e., a commercially widespread, scalable, and proven technology. The cover comprises a fine mesh of electrodes and an evaluation unit underneath the cover checks their integrity by detecting short and open circuits. Additionally, it measures the capacitances between the electrodes of the mesh. Once its preliminary integrity is confirmed, a cryptographic key is derived from the capacitive measurements representing a PUF, to decrypt and authenticate sensitive data of the enclosed system. We demonstrate the feasibility of our concept, provide details on the layout, electrical properties of the cover, and explain the underlying security architecture. Practical results including statistics over a set of 115 flexPCB covers, physical attacks, and environmental testing support our design rationale. Hence, our work opens up a new direction of counteracting physical tampering without the need of batteries, while aiming at a physical security level comparable to FIPS 140-2 level 3.}, + file = {/home/jaseg/Sync/Research/Zotero/2018_Immler et al_Secure Physical Enclosures from Covers with Tamper-Resistance.pdf} +} + @online{ImpactPolarizationMode, title = {Impact of Polarization Mode Dispersion on Entangled Photon Distribution}, url = {https://arxiv.org/html/2408.01754v1}, @@ -1784,12 +2353,23 @@ file = {/home/jaseg/Sync/Research/Zotero/Impagliazzo_1995_A personal view of average-case complexity.pdf} } -@article{ImplementationSecurityQuantum, +@report{ImplementationSecurityQuantum, title = {Implementation {{Security}} of {{Quantum Cryptography}} - {{Introduction}}, Challenges, Solutions}, langid = {english}, file = {/home/jaseg/Zotero/storage/K9YRK595/Implementation Security of Quantum Cryptography - .pdf} } +@online{ISOIEC24759, + title = {{{ISO}}/{{IEC}} 24759:2025}, + shorttitle = {{{ISO}}/{{IEC}} 24759}, + url = {https://www.iso.org/standard/82424.html}, + urldate = {2025-04-08}, + abstract = {Information security, cybersecurity and privacy protection — Test requirements for cryptographic modules}, + langid = {english}, + organization = {ISO}, + file = {/home/jaseg/Zotero/storage/WYIQJ3LN/82424.html} +} + @article{ivarssonReviewHardwareSecurity, title = {A {{Review}} of {{Hardware Security Modules Fall}} 2010}, author = {Ivarsson, Johan and Nilsson, Andreas}, @@ -1855,6 +2435,23 @@ urldate = {2024-09-03} } +@article{kahrs50YearsRF2003, + title = {50 Years of {{RF}} and Microwave Sampling}, + author = {Kahrs, M.}, + date = {2003-06}, + journaltitle = {IEEE Transactions on Microwave Theory and Techniques}, + volume = {51}, + number = {6}, + pages = {1787--1805}, + issn = {1557-9670}, + doi = {10.1109/TMTT.2002.806934}, + url = {https://ieeexplore.ieee.org/abstract/document/1201815?casa_token=VuzEwA0qx64AAAAA:wyySGOSgyLvNaLEjg05oV0MmQNihh4WH-A66_PYtI9IlkUjW6x6YlbAXePITdT68FFKHMN36wA}, + urldate = {2025-03-11}, + abstract = {Measurement of microwave and UHF signals is often done with sampling techniques. In this paper, the techniques and technology of sampling of electrical signals is reviewed from 1950 to the present. It includes both references to the open literature, as well as an extensive review of relevant patents. It also provides an overview of sampling applications and the use of computer technology to compensate and correct for errors in the sampling process.}, + eventtitle = {{{IEEE Transactions}} on {{Microwave Theory}} and {{Techniques}}}, + keywords = {Circuit testing,Distortion measurement,Instruments,Microwave theory and techniques,Oscilloscopes,Probes,Pulse generation,Radio frequency,Sampling methods,Signal sampling} +} + @incollection{kalaiArgumentQuantumComputers2020, title = {The {{Argument Against Quantum Computers}}}, booktitle = {Quantum, {{Probability}}, {{Logic}}}, @@ -1929,6 +2526,15 @@ file = {/home/jaseg/Zotero/storage/M6LSM6ML/Keller et al. - 2017 - Faster Secure Multi-party Computation of AES and D.pdf} } +@online{KiCadEDA, + title = {{{KiCad EDA}}}, + url = {https://www.kicad.org/}, + urldate = {2024-12-03}, + abstract = {A Cross Platform and Open Source Electronics Design Automation Suite}, + langid = {american}, + file = {/home/jaseg/Zotero/storage/IYJUIHPL/www.kicad.org.html} +} + @article{kimAdvancementFlexibleRobot2022, title = {Advancement of {{Flexible Robot Technologies}} for {{Endoluminal Surgeries}}}, author = {Kim, Joonhwan and family=Mathelin, given=Michel, prefix=de, useprefix=true and Ikuta, Koji and Kwon, Dong-Soo}, @@ -1967,6 +2573,28 @@ file = {/home/jaseg/Sync/Research/Zotero/Kiselev et al_2020_Analysis of the chromatic dispersion effect on the subcarrier wave QKD system.pdf} } +@online{kissaneDarkForest2024, + title = {Against the Dark Forest}, + author = {Kissane, Erin}, + date = {2024-11-22T15:26:10}, + url = {https://www.wrecka.ge/against-the-dark-forest/}, + urldate = {2024-11-23}, + abstract = {The complex of ideas I’m going to call the Dark Internet Forest emerges from mostly insidery tech thinking, but from multiple directions.}, + langid = {english}, + organization = {wreckage/salvage}, + file = {/home/jaseg/Zotero/storage/HCXPR3XB/against-the-dark-forest.html} +} + +@book{kleinSpulenUndSchwingungskreise1941, + title = {Spulen Und {{Schwingungskreise}}}, + author = {Klein, Paul-Eduard}, + date = {1941}, + series = {Deutsche {{Radio-Bücherei}}}, + number = {60}, + publisher = {Deutsch-Literarisches Institut J. Schneider}, + keywords = {twisted-inductors} +} + @article{knottCRYPTENSecureMultiParty, title = {{{CRYPTEN}}: {{Secure Multi-Party Computation Meets Machine Learning}}}, author = {Knott, Brian and Venkataraman, Shobha and Hannun, Awni and Sengupta, Shubho and Ibrahim, Mark}, @@ -2293,6 +2921,72 @@ file = {/home/jaseg/Zotero/storage/SPNJ8KBL/Launchbury et al. - 2014 - Application-Scale Secure Multiparty Computation.pdf} } +@inproceedings{lee16psresolutionRandomEquivalent2003, + title = {A 16ps-Resolution {{Random Equivalent Sampling}} Circuit for {{TDR}} Utilizing a {{Vernier}} Time Delay Generation}, + booktitle = {2003 {{IEEE Nuclear Science Symposium}}. {{Conference Record}} ({{IEEE Cat}}. {{No}}.{{03CH37515}})}, + author = {Lee, Donghwan and Sung, Jinho and Park, Jaehong}, + date = {2003-10}, + volume = {2}, + pages = {1219-1223 Vol.2}, + issn = {1082-3654}, + doi = {10.1109/NSSMIC.2003.1351912}, + url = {https://ieeexplore.ieee.org/document/1351912}, + urldate = {2025-03-11}, + abstract = {A Random Equivalent Sampling (RES) circuit that has 16ps sampling resolution has been developed for a high-resolution Time-Domain Reflectometer (TDR). The high-resolution TDR uses an expensive programmable delay chip or a complex Time-to-Digital Converter (TDC) circuit to capture the waveform with very fine time interval. The Vernier time delay generation technique using two crystal oscillators of slightly different frequency is proposed, which is simpler and more cost-effective and provides subpicosecond time resolution. One of the two clocks is used for the reference time to generate incident periodic pulses, and another clock is used for the sampling, The implemented RES circuit consists of the Vernier clock generator, the pulse generator and the control logic for pulse generation, interface and high-speed memory control. Using the ADC of relatively low sampling rate, the periodic pulse waveform is reconstructed with tens of GSPS high equivalent sampling rate by the repetitive sampling utilizing the incremental Vernier time delay. The performance of RES circuit is measured through the operation of TDR. The resolution of the RES circuit is 16.8ps equal to 59.5GSPS sampling rate, which means that the signal waveform in the 66.7\%VOP RG58C/U cable can be sampled by 1.6mm interval.}, + eventtitle = {2003 {{IEEE Nuclear Science Symposium}}. {{Conference Record}} ({{IEEE Cat}}. {{No}}.{{03CH37515}})}, + keywords = {Clocks,Delay effects,Frequency,Logic circuits,Oscillators,Propagation delay,Pulse circuits,Pulse generation,Sampling methods,Time domain analysis}, + file = {/home/jaseg/Sync/Research/Zotero/2003_Lee et al_A 16ps-resolution Random Equivalent Sampling circuit for TDR utilizing a.pdf;/home/jaseg/Zotero/storage/68D63ZM5/1351912.html} +} + +@patent{leekTamperDetection2021, + type = {patentus}, + title = {Tamper {{Detection}}}, + author = {Leek, Alan Henry and Hall, Jace Hunter}, + holder = {{Texas Instruments Incorporated}}, + date = {2021-02-16}, + number = {10,925,154 B2}, + abstract = {In described examples, an enclosure for circuitry includes a platform , a charge source, a first capacitive plate, a second capacitive plate, and a capacitive sensor. The circuitry is fixedly coupled to the platform . The first capacitive plate is also fixedly coupled to the platform , and either alone, or together with the platform , surrounds a volume containing the circuitry and the charge source, the charge source electrically coupled to and configured to charge the first capacitive plate. The second capacitive plate is fixedly coupled to the platform without touching the first capacitive plate, and either alone, or together with the platform , sur rounds the first capacitive plate. The second capacitive plate is configured so that there is an electric potential difference between the first capacitive plate and the second capacitive plate. The capacitive sensor is electrically connected to the first capacitive plate and configured to determine when a capacitance between the first and second capacitive plates is changed .}, + langid = {english}, + file = {/home/jaseg/Zotero/storage/QSDA9K48/Hall - (72) Inventors Alan Henry Leek, Frisco, TX (US);.pdf} +} + +@article{leePrintedSpiralWinding2011, + title = {Printed {{Spiral Winding Inductor With Wide Frequency Bandwidth}}}, + author = {Lee, Chi Kwan and Su, Y. P. and Ron Hui, S. Y.}, + date = {2011-10}, + journaltitle = {IEEE Transactions on Power Electronics}, + volume = {26}, + number = {10}, + pages = {2936--2945}, + issn = {1941-0107}, + doi = {10.1109/TPEL.2010.2076318}, + url = {https://ieeexplore.ieee.org/document/5580123/?arnumber=5580123}, + urldate = {2024-10-30}, + abstract = {Winding parasitic capacitance is a major factor limiting the bandwidth of an inductor. In this paper, 1) the traditional, 2) the alternating, and 3) the partial alternating winding methods are evaluated for the multilayer printed spiral winding inductors for megahertz operations. The self-capacitances of various winding structures are estimated by the summation of parasitic capacitance among the turns of a winding. The electric field energy distributions in the inductors are derived from the voltage profiles to illustrate the relative magnitudes of winding parasitic capacitances. The results show that parasitic capacitance reduction can be achieved by reducing stored electric field energy. The partial alternating winding method is found to have the widest frequency bandwidth with reduced number of through-hole vias for multilayer printed spiral winding design. The theoretical analysis has been confirmed with practical measurements. The results provide useful information for the optimal design of coreless or core-based high-frequency planar magnetics.}, + eventtitle = {{{IEEE Transactions}} on {{Power Electronics}}}, + keywords = {Bandwidth,Electric fields,Inductors,Parasitic capacitance,Planar magnetic device,printed circuit board inductors,spiral winding,Spirals,Windings}, + file = {/home/jaseg/Sync/Research/Zotero/2011_Lee et al_Printed Spiral Winding Inductor With Wide Frequency Bandwidth2.pdf;/home/jaseg/Zotero/storage/CXZSAL3U/5580123.html} +} + +@article{leeSimpleWirelessPower2017, + title = {A {{Simple Wireless Power Charging Antenna System}}: {{Evaluation}} of {{Ferrite Sheet}}}, + shorttitle = {A {{Simple Wireless Power Charging Antenna System}}}, + author = {Lee, Woncheol and Hong, Yang-Ki and Park, Jihoon and Lee, Jaejin and Baek, In-Seung and Hur, Nam-Pal and Seong, Won-Mo and Park, Seong-Ook}, + date = {2017-07}, + journaltitle = {IEEE Transactions on Magnetics}, + volume = {53}, + number = {7}, + pages = {1--5}, + issn = {1941-0069}, + doi = {10.1109/TMAG.2017.2676099}, + url = {https://ieeexplore.ieee.org/document/7867861/?arnumber=7867861}, + urldate = {2024-10-30}, + abstract = {We report a simple wireless power charging (WPC) antenna system (50 mm \textbackslash times40 mm \textbackslash times0.1 mm) for use in simulating power transfer efficiency ( \textbackslash eta ) with and without ferrite and a metallic object (battery case), thereby identifying suitable magnetic parameters and ferrite sheet thickness. The simulation results suggest that magnetic loss tangent (tan \textbackslash delta \textsubscript{\textbackslash mu } ) and permeability ( \textbackslash mu ' ) need to be less than 0.05 and higher than 125 at 13.56 MHz, respectively, to achieve at least 75\% of the transfer efficiency ( \textbackslash eta \_\textbackslash mathrm max ) of the WPC antenna without ferrite and the metallic object. Accordingly, we have fabricated NixZn0.85–xCu0.15Fe2O4 (x = 0.32 – 0.38) spinel ferrites using a one-step sintering process and obtained relatively high \textbackslash mu ' of 169 and low tan \textbackslash delta \textsubscript{\textbackslash mu } of 0.1 with a nickel (Ni) concentration of 0.38. This magnetic loss is still too high to achieve 75\% of the \textbackslash eta \_\textbackslash mathrm max value. In order to further reduce the magnetic loss, a two-step sintering process was used. The two-step sintered Ni0.38Zn0.47Cu0.15Fe2O4 shows \textbackslash mu ' of 132 and a tan \textbackslash delta \textsubscript{\textbackslash mu } of 0.03 at 13.56 MHz, respectively. Therefore, this ferrite meets criteria identified by the transfer efficiency simulation and is a good candidate for 13.56-MHz wireless power transfer charging antenna system. In addition, our designed WPC system is capable of evaluating other magnetic materials that are suitable for WPC antenna applications.}, + eventtitle = {{{IEEE Transactions}} on {{Magnetics}}}, + keywords = {Antennas,Ferrites,Magnetic losses,Magnetic noise,Ni–Zn–Cu ferrite,Nickel,Permeability,Powders,power transfer efficiency,wireless power charging (WPC) system}, + file = {/home/jaseg/Sync/Research/Zotero/2017_Lee et al_A Simple Wireless Power Charging Antenna System.pdf;/home/jaseg/Zotero/storage/S7MHYEYX/7867861.html} +} + @article{lellaSecurityQuantumKey2023, title = {On the {{Security}} of {{Quantum Key Distribution Networks}}}, author = {Lella, Eufemia and Schmid, Giovanni}, @@ -2390,6 +3084,39 @@ file = {/home/jaseg/Sync/Research/Zotero/Liu et al_2023_Improved Quantum Circuits for AES.pdf} } +@article{liWirelessPowerTransfer2015, + title = {Wireless {{Power Transfer}} for {{Electric Vehicle Applications}}}, + author = {Li, Siqi and Mi, Chunting Chris}, + date = {2015-03}, + journaltitle = {IEEE Journal of Emerging and Selected Topics in Power Electronics}, + volume = {3}, + number = {1}, + pages = {4--17}, + issn = {2168-6785}, + doi = {10.1109/JESTPE.2014.2319453}, + url = {https://ieeexplore.ieee.org/document/6804648/?arnumber=6804648}, + urldate = {2024-11-08}, + abstract = {Wireless power transfer (WPT) using magnetic resonance is the technology which could set human free from the annoying wires. In fact, the WPT adopts the same basic theory which has already been developed for at least 30 years with the term inductive power transfer. WPT technology is developing rapidly in recent years. At kilowatts power level, the transfer distance increases from several millimeters to several hundred millimeters with a grid to load efficiency above 90\%. The advances make the WPT very attractive to the electric vehicle (EV) charging applications in both stationary and dynamic charging scenarios. This paper reviewed the technologies in the WPT area applicable to EV wireless charging. By introducing WPT in EVs, the obstacles of charging time, range, and cost can be easily mitigated. Battery technology is no longer relevant in the mass market penetration of EVs. It is hoped that researchers could be encouraged by the state-of-the-art achievements, and push forward the further development of WPT as well as the expansion of EV.}, + eventtitle = {{{IEEE Journal}} of {{Emerging}} and {{Selected Topics}} in {{Power Electronics}}}, + keywords = {Batteries,Coils,Couplers,Couplings,Dynamic charging,electric vehicle (EV),Ferrites,inductive power transfer (IPT),Power electronics,safety guidelines,stationary charging,Wireless communication,wireless power transfer (WPT)}, + file = {/home/jaseg/Sync/Research/Zotero/2015_Li_Mi_Wireless Power Transfer for Electric Vehicle Applications.pdf;/home/jaseg/Zotero/storage/QYEZNYUG/6804648.html} +} + +@inproceedings{liWirelessPowerTransfer2021, + title = {Wireless {{Power Transfer System}} for {{Long-term Sensor}} on {{Rotating Plane}}}, + booktitle = {2021 {{IEEE Industrial Electronics}} and {{Applications Conference}} ({{IEACon}})}, + author = {Li, Tao and Chen, Xiyou and Lang, Zhengying and Jin, Xin and Qi, Chen and Wang, Yijie}, + date = {2021-11}, + pages = {136--140}, + doi = {10.1109/IEACon51066.2021.9654747}, + url = {https://ieeexplore.ieee.org/document/9654747/?arnumber=9654747}, + urldate = {2024-12-10}, + abstract = {This paper presents a wireless power transfer system (WPT) for long-term sensor rotating around an axis on a plane. The system is suitable for powering long-term sensor and does not need to replace the battery periodically. By designing a new type of magnetic coupler, the coupling coefficient between the receiving coil and the transmitting coil can be maintained in a certain range. On the transmitting side, six planar spiral coils are evenly distributed in a circular array, so that the magnetic field on the path of the sensor is always strong. On the receiving side, two planar spiral coils are partially overlapped. The magnetic field generated by the magnetic coupler is analyzed theoretically and simulated by finite element method. The experimental results verify that the WPT system can continuously supply power for 5W load during rotation.}, + eventtitle = {2021 {{IEEE Industrial Electronics}} and {{Applications Conference}} ({{IEACon}})}, + keywords = {Couplers,Finite element analysis,long-term sensor,magnetic coupler,Maintenance engineering,Power supplies,Rectifiers,rotation,Spirals,Wireless power transfer,wireless power transfer (WPT)}, + file = {/home/jaseg/Sync/Research/Zotero/Li et al_2021_Wireless Power Transfer System for Long-term Sensor on Rotating Plane.pdf;/home/jaseg/Zotero/storage/DQ9TIGTB/9654747.html} +} + @article{loMeasurementDeviceIndependentQuantumKey2012, title = {Measurement-{{Device-Independent Quantum Key Distribution}}}, author = {Lo, Hoi-Kwong and Curty, Marcos and Qi, Bing}, @@ -2425,6 +3152,60 @@ file = {/home/jaseg/Zotero/storage/WBSKAYAN/Long et al. - 2024 - EM Eye Characterizing Electromagnetic Side-channe.pdf} } +@article{lopeFirstSelfresonantFrequency2021, + title = {First Self‐resonant Frequency of Power Inductors Based on Approximated Corrected Stray Capacitances}, + author = {Lope, Ignacio and Carretero, Claudio and Acero, Jesus}, + date = {2021-02}, + journaltitle = {IET Power Electronics}, + shortjournal = {IET Power Electronics}, + volume = {14}, + number = {2}, + pages = {257--267}, + issn = {1755-4535, 1755-4543}, + doi = {10.1049/pel2.12030}, + url = {https://onlinelibrary.wiley.com/doi/10.1049/pel2.12030}, + urldate = {2024-09-10}, + abstract = {Inductive devices are extensively employed in power electronic systems due to their magnetic energy storage and power transfer capabilities. The current trend is towards increasing the frequency of operation in order to reduce the size of the magnetic components, but the main drawback is that the parasitic capacitance effect can become significant, and degrade the performance of the system. This work analyses the influence of this stray capacitance, and considers how to improve the performance of the device. In general, the impact of the stray capacitance on a magnetic component can be reduced by two methods: reducing the parasitic capacitance between turns of the winding or, alternatively, modifying the arrangement of the connection between turns. To evaluate the last option, an approximated expression of the first self-resonant frequency of the magnetic device is proposed. This gives a rapid assessment of the performance of different devices maintaining the overall equivalent inductance. The proposed expression accounts for the influence of the connection between turns in the bandwidth of the component. Finally, some numerical results are verified with planar coils manufactured on two-layer printed circuit boards.}, + langid = {english}, + file = {/home/jaseg/Zotero/storage/CN4BW264/Lope et al. - 2021 - First self‐resonant frequency of power inductors b.pdf} +} + +@article{lopeFrequencyDependentResistancePlanar2014, + title = {Frequency-{{Dependent Resistance}} of {{Planar Coils}} in {{Printed Circuit Board With Litz Structure}}}, + author = {Lope, Ignacio and Carretero, Claudio and Acero, Jesus and Alonso, Rafael and Burdio, Jose M.}, + date = {2014-12}, + journaltitle = {IEEE Transactions on Magnetics}, + volume = {50}, + number = {12}, + pages = {1--9}, + issn = {1941-0069}, + doi = {10.1109/TMAG.2014.2337836}, + url = {https://ieeexplore.ieee.org/document/6851880/?arnumber=6851880}, + urldate = {2024-10-04}, + abstract = {Printed circuit board (PCB) windings are convenient for many applications given their ease of manufacture, high repeatability, and low profile. In many cases, the use of multistranded litz wires is appropriate due to the rated power, frequency range, and efficiency constraints. This paper proposes a manufacturing technique and a semianalytical loss model for PCB windings using planar litz structure to obtain a similar ac loss reduction to that of conventional windings of round wires with litz structure. Different coil prototypes have been tested in several configurations to validate the proposal.}, + eventtitle = {{{IEEE Transactions}} on {{Magnetics}}}, + keywords = {Coils,Conductors,Electromagnetic analysis,frequency-dependent resistance,Magnetic devices,Media,passive components,printed circuit board (PCB) inductor,Resistance,Windings,Wires}, + file = {/home/jaseg/Sync/Research/Zotero/Lope et al_2014_Frequency-Dependent Resistance of Planar Coils in Printed Circuit Board With.pdf;/home/jaseg/Zotero/storage/JJQHT5A5/6851880.html} +} + +@article{lopez-villegasImprovementQualityFactor2000, + title = {Improvement of the Quality Factor of {{RF}} Integrated Inductors by Layout Optimization}, + author = {Lopez-Villegas, J.M. and Samitier, J. and Cane, C. and Losantos, P. and Bausells, J.}, + date = {2000-01}, + journaltitle = {IEEE Transactions on Microwave Theory and Techniques}, + volume = {48}, + number = {1}, + pages = {76--83}, + issn = {1557-9670}, + doi = {10.1109/22.817474}, + url = {https://ieeexplore.ieee.org/document/817474/?arnumber=817474}, + urldate = {2024-11-08}, + abstract = {A systematic method to improve the quality (Q) factor of RF integrated inductors is presented in this paper. The proposed method is based on the layout optimization to minimize the series resistance of the inductor coil, taking into account both ohmic losses, due to conduction currents, and magnetically induced losses, due to eddy currents. The technique is particularly useful when applied to inductors in which the fabrication process includes integration substrate removal. However, it is also applicable to inductors on low-loss substrates. The method optimizes the width of the metal strip for each turn of the inductor coil, leading to a variable strip-width layout. The optimization procedure has been successfully applied to the design of square spiral inductors in a silicon-based multichip-module technology, complemented with silicon micromachining postprocessing. The obtained experimental results corroborate the validity of the proposed method. A Q factor of about 17 have been obtained for a 35-nH inductor at 1.5 GHz, with Q values higher than 40 predicted for a 20-nH inductor working at 3.5 GHz. The latter is up to a 60\% better than the best results for a single strip-width inductor working at the same frequency.}, + eventtitle = {{{IEEE Transactions}} on {{Microwave Theory}} and {{Techniques}}}, + keywords = {Coils,Design optimization,Eddy currents,Fabrication,Inductors,Magnetic losses,Optimization methods,Q factor,Radio frequency,Strips}, + file = {/home/jaseg/Sync/Research/Zotero/2000_Lopez-Villegas et al_Improvement of the quality factor of RF integrated inductors by layout.pdf;/home/jaseg/Zotero/storage/GQKEU7DE/817474.html} +} + @article{loSecureQuantumKey2014, title = {Secure Quantum Key Distribution}, author = {Lo, Hoi-Kwong and Curty, Marcos and Tamaki, Kiyoshi}, @@ -2496,6 +3277,12 @@ file = {/home/jaseg/Sync/Research/Zotero/Maier et al_2019_Contribution to the System Design of Contactless Energy Transfer Systems.pdf;/home/jaseg/Zotero/storage/Q4MPPLFH/8440726.html} } +@online{MakeYourElectronics, + title = {Make {{Your Electronics Tamper-Evident}}}, + url = {https://www.anarsec.guide/posts/tamper/}, + organization = {Make Your Electronics Tamper-Evident} +} + @article{marhoeferApplicabilityQuantumCryptography, title = {Applicability of {{Quantum Cryptography}} for {{Securing Mobile Communication Networks}}}, author = {Marhoefer, Michael and Wimberger, Ilse and Poppe, Andreas}, @@ -2504,6 +3291,59 @@ file = {/home/jaseg/Zotero/storage/FCPRRWEK/Marhoefer et al. - Applicability of Quantum Cryptography for Securing.pdf} } +@book{markantonakisSecureSmartEmbedded2014, + title = {Secure Smart Embedded Devices, Platforms and Applications}, + author = {Markantonakis, Konstantinos and Mayes, Keith}, + date = {2014}, + publisher = {Springer}, + location = {New York, NY Heidelberg}, + isbn = {978-1-4614-7914-7 978-1-4614-7915-4}, + langid = {english}, + pagetotal = {568} +} + +@article{markettosActiveElectromagneticAttacks, + title = {Active Electromagnetic Attacks on Secure Hardware}, + author = {Markettos, A Theodore}, + abstract = {The field of side-channel attacks on cryptographic hardware has been extensively studied. In many cases it is easier to derive the secret key from these attacks than to break the cryptography itself. One such sidechannel attack is the electromagnetic side-channel attack, giving rise to electromagnetic analysis (EMA).}, + langid = {english}, + file = {/home/jaseg/Zotero/storage/W3QDPN4U/Markettos - Active electromagnetic attacks on secure hardware.pdf} +} + +@incollection{martinaOpenHSMOpenKey2007, + title = {{{OpenHSM}}: {{An Open Key Life Cycle Protocol}} for {{Public Key Infrastructure}}’s {{Hardware Security Modules}}}, + shorttitle = {{{OpenHSM}}}, + booktitle = {Public {{Key Infrastructure}}}, + author = {Martina, Jean Everson and family=Souza, given=Tulio Cicero Salvaro, prefix=de, useprefix=true and Custodio, Ricardo Felipe}, + editor = {Lopez, Javier and Samarati, Pierangela and Ferrer, Josep L.}, + editora = {Hutchison, David and Kanade, Takeo and Kittler, Josef and Kleinberg, Jon M. and Mattern, Friedemann and Mitchell, John C. and Naor, Moni and Nierstrasz, Oscar and Pandu Rangan, C. and Steffen, Bernhard and Sudan, Madhu and Terzopoulos, Demetri and Tygar, Doug and Vardi, Moshe Y. and Weikum, Gerhard}, + editoratype = {redactor}, + date = {2007}, + volume = {4582}, + pages = {220--235}, + publisher = {Springer Berlin Heidelberg}, + location = {Berlin, Heidelberg}, + doi = {10.1007/978-3-540-73408-6_16}, + url = {http://link.springer.com/10.1007/978-3-540-73408-6_16}, + urldate = {2024-12-13}, + isbn = {978-3-540-73407-9 978-3-540-73408-6} +} + +@inproceedings{martinMultiturnTwistedInductor2016, + title = {A Multi-Turn Twisted Inductor for on-Chip Cross-Talk Reduction}, + booktitle = {2016 {{IEEE International Conference}} on the {{Science}} of {{Electrical Engineering}} ({{ICSEE}})}, + author = {Martin, Peter and Horn, Richard and Ben Atar, Kobi}, + date = {2016-11}, + pages = {1--5}, + doi = {10.1109/ICSEE.2016.7806138}, + url = {https://ieeexplore.ieee.org/document/7806138/?arnumber=7806138}, + urldate = {2024-11-08}, + abstract = {A Fully symmetric multi-turn twisted inductor is presented for the suppression of on-chip interference in the transmit chain of a LTE transceiver chip implemented in TSMC 65nm CMOS process. The inductor is ultra-compact, symmetrical and presents up to ×3 inductance density as compared to a standard spiral inductor. Magnetic coupling reduction of more than 12dB was measured and EM simulation results validate the design procedure. A simple and accurate closed form expression for the inductance estimation is introduced for the first time in the context of planar twisted-inductors to simplify the design process.}, + eventtitle = {2016 {{IEEE International Conference}} on the {{Science}} of {{Electrical Engineering}} ({{ICSEE}})}, + keywords = {closed-form inductance expression,Couplings,crosstalk,Figure-8 inductor,Frequency conversion,Inductance,Inductors,Injection-Lock Divider,Q-factor,Resonant frequency,Standards,Twisted-Inductor}, + file = {/home/jaseg/Sync/Research/Zotero/2016_Martin et al_A multi-turn twisted inductor for on-chip cross-talk reduction.pdf;/home/jaseg/Zotero/storage/HIHNNITA/7806138.html} +} + @inproceedings{martinSealClubComputeraidedPaper2023, title = {{{SealClub}}: {{Computer-aided Paper Document Authentication}}}, shorttitle = {{{SealClub}}}, @@ -2562,6 +3402,13 @@ file = {/home/jaseg/Zotero/storage/Y24TQ9UT/Maurer - 1997 - Information-Theoretically Secure Secret-Key Agreem.pdf} } +@book{meeekerFiniteElementMethod2015, + title = {Finite {{Element Method Magnetics}}. {{User}}'s {{Manual}}.}, + author = {Meeeker, David}, + date = {2015-10-25}, + pagetotal = {161} +} + @article{mehicNovelApproachQualityofService2020, title = {A {{Novel Approach}} to {{Quality-of-Service Provisioning}} in {{Trusted Relay Quantum Key Distribution Networks}}}, author = {Mehic, Miralem and Fazio, Peppino and Rass, Stefan and Maurhart, Oliver and Peev, Momtchil and Poppe, Andreas and Rozhon, Jan and Niemiec, Marcin and Voznak, Miroslav}, @@ -2597,6 +3444,14 @@ file = {/home/jaseg/Zotero/storage/6CQ2P3KX/Mehic et al. - 2021 - Quantum Key Distribution A Networking Perspective.pdf} } +@book{meinkeTaschenbuchHochfrequenztechnik1956, + title = {Taschenbuch Der {{Hochfrequenztechnik}}}, + author = {Meinke, H. and Gundlach, F. W.}, + date = {1956}, + publisher = {Springer-Verlag}, + keywords = {twisted-inductor} +} + @article{melaraCONIKSBringingKey, title = {{{CONIKS}}: {{Bringing Key Transparency}} to {{End Users}}}, author = {Melara, Marcela S and Blankstein, Aaron and Bonneau, Joseph and Felten, Edward W and Freedman, Michael J}, @@ -2605,6 +3460,17 @@ file = {/home/jaseg/Zotero/storage/TMI3LX3I/Melara et al. - CONIKS Bringing Key Transparency to End Users.pdf} } +@video{mikeselectricstuffNeopostPostalFranking2023, + entrysubtype = {video}, + title = {Neopost {{Postal Franking Machines}}}, + editor = {{mikeselectricstuff}}, + editortype = {director}, + date = {2023-10-03}, + url = {https://www.youtube.com/watch?v=eO7AoHI2Tpk}, + urldate = {2025-02-17}, + abstract = {A look at some machines for printing money... sort of! mikeselectricstuff merch : https://mikeselectricstuff.creator-sp...} +} + @inproceedings{mishraFaultsOurBus2024, title = {Faults in {{Our Bus}}: {{Novel Bus Fault Attack}} to {{Break ARM TrustZone}}}, shorttitle = {Faults in {{Our Bus}}}, @@ -2629,6 +3495,23 @@ urldate = {2024-07-25} } +@article{mohanSimpleAccurateExpressions1999, + title = {Simple Accurate Expressions for Planar Spiral Inductances}, + author = {Mohan, S.S. and Del Mar Hershenson, M. and Boyd, S.P. and Lee, T.H.}, + date = {1999-10}, + journaltitle = {IEEE Journal of Solid-State Circuits}, + shortjournal = {IEEE J. Solid-State Circuits}, + volume = {34}, + number = {10}, + pages = {1419--1424}, + issn = {00189200}, + doi = {10.1109/4.792620}, + url = {http://ieeexplore.ieee.org/document/792620/}, + urldate = {2024-10-10}, + langid = {english}, + file = {/home/jaseg/Zotero/storage/AM4Q8Y76/Mohan et al. - 1999 - Simple accurate expressions for planar spiral indu.pdf} +} + @inproceedings{monfaredLeakyOhmSecretBits2023, title = {{{LeakyOhm}}: {{Secret Bits Extraction}} Using {{Impedance Analysis}}}, shorttitle = {{{LeakyOhm}}}, @@ -2647,6 +3530,25 @@ file = {/home/jaseg/Sync/Research/Zotero/2023_Monfared et al_LeakyOhm.pdf} } +@article{mooreApplicationsWirelessPower2019, + title = {Applications of {{Wireless Power Transfer}} in {{Medicine}}: {{State-of-the-Art Reviews}}}, + shorttitle = {Applications of {{Wireless Power Transfer}} in {{Medicine}}}, + author = {Moore, Julian and Castellanos, Sharon and Xu, Sheng and Wood, Bradford and Ren, Hongliang and Tse, Zion Tsz Ho}, + date = {2019-01}, + journaltitle = {Annals of Biomedical Engineering}, + shortjournal = {Ann Biomed Eng}, + volume = {47}, + number = {1}, + pages = {22--38}, + issn = {0090-6964, 1573-9686}, + doi = {10.1007/s10439-018-02142-8}, + url = {http://link.springer.com/10.1007/s10439-018-02142-8}, + urldate = {2024-11-08}, + abstract = {Magnetic resonance within the field of wireless power transfer has seen an increase in popularity over the past decades. This rise can be attributed to the technological advances of electronics and the increased efficiency of popular battery technologies. The same principles of electromagnetic theory can be applied to the medical field. Several medical devices intended for use inside the body use batteries and electrical circuits that could be powered wirelessly. Other medical devices limit the mobility or make patients uncomfortable while in use. The fundamental theory of electromagnetics can improve the field by solving some of these problems. This survey paper summarizes the recent uses and discoveries of wireless power in the medical field. A comprehensive search for papers was conducted using engineering search engines and included papers from related conferences. During the initial search, 247 papers were found then nonrelevant papers were eliminated to leave only suitable material. Seventeen relevant journal papers and/or conference papers were found, then separated into defined categories: Implants, Pumps, Ultrasound Imaging, and Gastrointestinal (GI) Endoscopy. The approach and methods for each paper were analyzed and compared yielding a comprehensive review of these state of the art technologies.}, + langid = {english}, + file = {/home/jaseg/Zotero/storage/JVKURIVI/Moore et al. - 2019 - Applications of Wireless Power Transfer in Medicin.pdf} +} + @article{morimotoSimultaneousMeasurementSpecific2006, title = {Simultaneous Measurement of Specific Heat, Thermal Conductivity, and Thermal Diffusivity of Modified Barium Titanate Ceramics}, author = {Morimoto, Kohsuke and Sawai, Shinya and Hisano, Kumao and Yamamoto, Takashi}, @@ -2680,6 +3582,23 @@ file = {/home/jaseg/Zotero/storage/EBAXQHG5/Mosavirik et al. - 2022 - ImpedanceVerif On-Chip Impedance Sensing for Syst.pdf} } +@article{mosavirikImpedanceVerifOnChipImpedance2023, + title = {{{ImpedanceVerif}}: {{On-Chip Impedance Sensing}} for {{System-Level Tampering Detection}}}, + shorttitle = {{{ImpedanceVerif}}}, + author = {Mosavirik, Tahoura and Schaumont, Patrick and Tajik, Shahin}, + date = {2023}, + journaltitle = {IACR Transactions on Cryptographic Hardware and Embedded Systems}, + pages = {301--325}, + issn = {2569-2925}, + doi = {10.46586/tches.v2023.i1.301-325}, + url = {https://tosc.iacr.org/index.php/TCHES/article/view/9954}, + urldate = {2025-02-17}, + abstract = {Physical attacks can compromise the security of cryptographic devices. Depending on the attack’s requirements, adversaries might need to (i) place probes in the proximity of the integrated circuits (ICs) package, (ii) create physical connections between their probes/wires and the system’s PCB, or (iii) physically tamper with the PCB’s components, chip’s package, or substitute the entire PCB to prepare the device for the attack. While tamper-proof enclosures prevent and detect physical access to the system, their high manufacturing cost and incompatibility with legacy systems make them unattractive for many low-cost scenarios. In this paper, inspired by methods known from the field of power integrity analysis, we demonstrate how the impedance characterization of the system’s power distribution network (PDN) using on-chip circuit-based network analyzers can detect various classes of tamper events. We explain how these embedded network analyzers, without any modifications to the system, can be deployed on FPGAs to extract the frequency response of the PDN. The analysis of these frequency responses reveals different classes of tamper events from board to chip level. To validate our claims, we run an embedded network analyzer on FPGAs of a family of commercial development kits and perform extensive measurements for various classes of PCB and IC package tampering required for conducting different side-channel or fault attacks. Using the Wasserstein Distance as a statistical metric, we further show that we can confidently detect tamper events. Our results, interestingly, show that even environment-level tampering activities, such as the proximity of contactless EM probes to the IC package or slightly polished IC package, can be detected using on-chip impedance sensing.}, + langid = {english}, + keywords = {Anti-Tamper,PCB Verification,Physical Attacks,Physical Layer Security,Power Distribution Network}, + file = {/home/jaseg/Sync/Research/Zotero/Mosavirik et al_2023_ImpedanceVerif.pdf} +} + @article{mosavirikSiliconEchoesNonInvasive2023, title = {Silicon {{Echoes}}: {{Non-Invasive Trojan}} and {{Tamper Detection}} Using {{Frequency-Selective Impedance Analysis}}}, shorttitle = {Silicon {{Echoes}}}, @@ -2696,10 +3615,45 @@ abstract = {The threat of chip-level tampering and its detection has been widely researched. Hardware Trojan insertions are prominent examples of such tamper events. Altering the placement and routing of a design or removing a part of a circuit for side-channel leakage/fault sensitivity amplification are other instances of such attacks. While semi- and fully-invasive physical verification methods can confidently detect such stealthy tamper events, they are costly, time-consuming, and destructive. On the other hand, virtually all proposed non-invasive side-channel methods suffer from noise and, therefore, have low confidence. Moreover, they require activating the tampered part of the circuit (e.g., the Trojan trigger) to compare and detect the modifications. In this work, we introduce a non-invasive post-silicon tamper detection technique applicable to different classes of tamper events at the chip level without requiring the activation of the malicious circuit. Our method relies on the fact that physical modifications (regardless of their physical, activation, or action characteristics) alter the impedance of the chip. Hence, characterizing the impedance can lead to the detection of the tamper events. To sense the changes in the impedance, we deploy known RF tools, namely, scattering parameters, in which we inject sine wave signals with high frequencies to the power distribution network (PDN) of the system and measure the “echo” of the signal. The reflected signals in various frequency bands reveal different tamper events based on their impact size on the die. To validate our claims, we performed measurements on several proof-ofconcept tampered hardware implementations realized on FPGAs manufactured with a 28 nm technology. We further show that deploying the Dynamic Time Warping (DTW) distance can distinguish between tamper events and noise resulting from manufacturing process variation of different chips/boards. Based on the acquired results, we demonstrate that stealthy hardware Trojans, as well as sophisticated modifications of P\&R, can be detected.}, issue = {4}, langid = {english}, - keywords = {Backscattered Side-channel,Hardware Trojans,Impedance Characterization,Physical Layer Security,Scattering Parameters,Tamper Detection}, + keywords = {Backscattered Side-channel,Hardware Trojans,Impedance Characterization,Physical Layer Security,sampling-mesh,Scattering Parameters,Tamper Detection}, file = {/home/jaseg/Sync/Research/Zotero/2023_Mosavirik et al_Silicon Echoes2.pdf} } +@article{mouEnergyEfficientAdaptiveDesign2017, + title = {Energy-{{Efficient}} and {{Adaptive Design}} for {{Wireless Power Transfer}} in {{Electric Vehicles}}}, + author = {Mou, Xiaolin and Groling, Oliver and Sun, Hongjian}, + date = {2017-09}, + journaltitle = {IEEE Transactions on Industrial Electronics}, + volume = {64}, + number = {9}, + pages = {7250--7260}, + issn = {1557-9948}, + doi = {10.1109/TIE.2017.2686299}, + url = {https://ieeexplore.ieee.org/document/7885065/?arnumber=7885065}, + urldate = {2024-11-08}, + abstract = {Wireless power transfer (WPT) could revolutionize global transportation and accelerate growth in the electric vehicle (EV) market, offering an attractive alternative to cabled charging. Coil misalignment is inevitable due to driver parking behavior and has a detrimental effect on power transfer efficiency (PTE). This paper proposes a novel coil design and adaptive hardware to improve PTE in magnetic resonant coupling WPT and mitigate coil misalignment, a crucial roadblock in the acceptance of WPT for EVs. The new design was verified using ADS, providing a good match to theoretical analysis. Custom designed receiver and transmitter circuitry was used to simulate vehicle and parking bay conditions and obtain PTE data in a small-scale setup. Experimental results showed that PTE can be improved by 30\% at the array's center, and an impressive 90\% when misaligned by three-fourths of the array's radius. The proposed novel coil array achieves overall higher PTE compared to the benchmark single coil design.}, + eventtitle = {{{IEEE Transactions}} on {{Industrial Electronics}}}, + keywords = {Adaptive hardware,coil design,Couplings,electric vehicle (EV),Hardware,Inductive charging,Magnetic resonance,magnetic resonant coupling (MRC),misalignment,power transfer efficiency (PTE),Receivers,Transmitters,Windings,wireless power transfer (WPT)}, + file = {/home/jaseg/Sync/Research/Zotero/2017_Mou et al_Energy-Efficient and Adaptive Design for Wireless Power Transfer in Electric.pdf;/home/jaseg/Zotero/storage/9EFPC8GL/7885065.html} +} + +@inproceedings{mouWirelessPowerTransfer2015, + title = {Wireless {{Power Transfer}}: {{Survey}} and {{Roadmap}}}, + shorttitle = {Wireless {{Power Transfer}}}, + booktitle = {2015 {{IEEE}} 81st {{Vehicular Technology Conference}} ({{VTC Spring}})}, + author = {Mou, Xiaolin and Sun, Hongjian}, + date = {2015-05}, + pages = {1--5}, + issn = {1550-2252}, + doi = {10.1109/VTCSpring.2015.7146165}, + url = {https://ieeexplore.ieee.org/document/7146165/?arnumber=7146165}, + urldate = {2024-11-07}, + abstract = {Wireless power transfer (WPT) technologies have been widely used in many areas, e.g., the charging of electric toothbrush, mobile phones, and electric vehicles. This paper introduces fundamental principles of three WPT technologies, i.e., inductive coupling-based WPT, magnetic resonant coupling-based WPT, and electromagnetic radiation-based WPT, together with discussions of their strengths and weaknesses. Main research themes are then presented, i.e., improving the transmission efficiency and distance, and designing multiple transmitters/receivers. The state-of-the-art techniques are reviewed and categorised. Several WPT applications are described. Open research challenges are then presented with a brief discussion of potential roadmap.}, + eventtitle = {2015 {{IEEE}} 81st {{Vehicular Technology Conference}} ({{VTC Spring}})}, + keywords = {Couplings,Magnetic resonance,Receivers,Transmitters,Wireless communication,Wireless sensor networks}, + file = {/home/jaseg/Sync/Research/Zotero/Mou_Sun_2015_Wireless Power Transfer.pdf;/home/jaseg/Zotero/storage/U6XA93RL/7146165.html} +} + @inproceedings{muehlmannMutualCouplingModeling2012, title = {Mutual Coupling Modeling of {{NFC}} Antennas by Using Open-Source {{CAD}}/{{FEM}} Tools}, booktitle = {2012 {{IEEE International Conference}} on {{RFID-Technologies}} and {{Applications}} ({{RFID-TA}})}, @@ -2737,6 +3691,24 @@ file = {/home/jaseg/Zotero/storage/YL2WRUTZ/Müller - 2016 - Wiring the World The Social and Cultural Creation.pdf} } +@article{mumbyDielectricPropertiesFR41989, + title = {Dielectric Properties of {{FR-4}} Laminates as a Function of Thickness and the Electrical Frequency of the Measurement}, + author = {Mumby, Stephen J. and Yuan, Jih}, + date = {1989-03}, + journaltitle = {Journal of Electronic Materials}, + shortjournal = {J. Electron. Mater.}, + volume = {18}, + number = {2}, + pages = {287--292}, + issn = {0361-5235, 1543-186X}, + doi = {10.1007/BF02657420}, + url = {https://link.springer.com/10.1007/BF02657420}, + urldate = {2024-10-30}, + abstract = {The relationship between the dielectric properties (dielectric constant, e\textasciitilde am,and loss factor, e\textasciitilde m) and thickness of FR-4 laminates was investigated. Thickness variations for laminates reinforced by the same style and number of plies of glass cloth were predominantly due to differences in the resin content. At each measurement frequency, values of both el"mand e]'m were found to vary in an approximate linear manner with changes in the volume fraction of resin, Vr\textasciitilde n. An empirical equation was derived that gives the dielectric constant of an FR-4 laminate, el'm, as a function of the volume fraction of resin, Vr\textasciitilde n, and the frequency at which the measurement was performed (between 1 kHz and 1 GHz). An alternative expression was also determined that permits the calculation of e\textasciitilde. in the same frequency range from just the dielectric thickness of the laminate, providing the effective thickness of the reinforcement is known. The effective thickness of one style of glass cloth (2116) was experimentally determined to be 1.6 mils/ply. Effective thicknesses of most other common woven glass reinforcements used in FR-4 laminates were calculated and tabulated. The empirical relationships should be a valuable aid to electrical designers and others who need to know the frequency dependence of the dielectric properties of FR-4 laminates having different glass-to-resin ratios.}, + langid = {english}, + file = {/home/jaseg/Zotero/storage/9MA5VBJY/Mumby and Yuan - 1989 - Dielectric properties of FR-4 laminates as a funct.pdf} +} + @inproceedings{muraliContinuousAuthenticationUsing2023, title = {Continuous {{Authentication Using Human-Induced Electric Potential}}}, booktitle = {Annual {{Computer Security Applications Conference}}}, @@ -2755,6 +3727,31 @@ file = {/home/jaseg/Zotero/storage/3XBD9Z7V/Murali et al. - 2023 - Continuous Authentication Using Human-Induced Elec.pdf} } +@article{murtazaPortableHardwareSecurity2022, + title = {A Portable Hardware Security Module and Cryptographic Key Generator}, + author = {Murtaza, Malik Hamza and Tahir, Hasan and Tahir, Shahzaib and Alizai, Zahoor Ahmed and Riaz, Qaiser and Hussain, Mehdi}, + date = {2022-11-01}, + journaltitle = {Journal of Information Security and Applications}, + shortjournal = {Journal of Information Security and Applications}, + volume = {70}, + pages = {103332}, + issn = {2214-2126}, + doi = {10.1016/j.jisa.2022.103332}, + url = {https://www.sciencedirect.com/science/article/pii/S2214212622001776}, + urldate = {2024-12-13}, + abstract = {It has been noted with concern that the ability of a password to keep an information system secure is diminishing. Increasingly sophisticated attack vectors and low memorability associated with complicated passwords are among the leading reasons limiting security provisioned by passwords. Cryptographic keys suffer from issues including lack of memorability, vulnerable storage mechanisms, key retrieval attacks, lockouts due to key loss and risk of using the same key for multiple services. This study proposes a novel Hardware Security Module (HSM) as a basis for the generation/ re-creation of cryptographic keys. The designed hardware module entirely eliminates the stored cryptographic keys thus eliminating attacks against stored keys. The HSM derives the cryptographic key from sub-components behaving similar to multi-factor authentication, where each factor is an independent authenticator. The proposed scheme enhances security by incorporating physical security into digital security, i.e. as long as either the crypto provider device remains secure or the human component remains secure, the system security remains intact. The scheme proposes a strategy based on defense in depth to secure the HSM, its user, the related service from attacks ranging from simple shoulder surfing to sophisticated Man-in-the-Middle attacks. The proposed HSM is based on commodity hardware components thus having limited cost implications.}, + keywords = {Cryptography,Hardware security module,Key generator,Key-based authentication,Multi factor authentication,Physical Unclonable Function (PUF)}, + file = {/home/jaseg/Zotero/storage/QP5FG729/S2214212622001776.html} +} + +@article{nabilIST2002507932ECRYPTEuropean, + title = {{{IST-2002-507932 ECRYPT European Network}} of {{Excellence}} in {{Cryptology Network}} of {{Excellence Information Society Technologies D}}.{{VAM}}.5 {{Report}} on {{DPA}} and {{EMA}} Attacks on {{FPGAs}}}, + author = {Nabil, Mohamed}, + url = {https://www.academia.edu/38939774/IST_2002_507932_ECRYPT_European_Network_of_Excellence_in_Cryptology_Network_of_Excellence_Information_Society_Technologies_D_VAM_5_Report_on_DPA_and_EMA_attacks_on_FPGAs}, + urldate = {2025-03-13}, + abstract = {Project co-funded by the European Commission within the 6th Framework Programme Dissemination Level PU Public X PP Restricted to other programme participants (including the Commission services) RE Restricted to a group specified by the consortium} +} + @article{nassiLamphonePassiveSound, title = {Lamphone: {{Passive Sound Recovery}} from a {{Desk Lamp}}’s {{Light Bulb Vibrations}}}, author = {Nassi, Ben and Pirutin, Yaron and Swissa, Raz and Shamir, Adi and Elovici, Yuval and Zadov, Boris}, @@ -2763,6 +3760,21 @@ file = {/home/jaseg/Sync/Research/Zotero/Nassi et al_Lamphone.pdf} } +@report{nationalinstituteofstandardsandtechnologyusSecurityRequirementsCryptographic2019, + title = {Security Requirements for Cryptographic Modules}, + author = {{National Institute of Standards and Technology (US)}}, + date = {2019}, + number = {error: 140-3}, + pages = {error: 140-3}, + institution = {{National Institute of Standards and Technology (U.S.)}}, + location = {Washington, D.C.}, + doi = {10.6028/NIST.FIPS.140-3}, + url = {https://nvlpubs.nist.gov/nistpubs/FIPS/NIST.FIPS.140-3.pdf}, + urldate = {2025-04-08}, + abstract = {The selective application of technological and related procedural safeguards is an important responsibility of every federal organization in providing adequate security in its computer and telecommunication systems. This standard is applicable to all federal agencies that use cryptographic-based security systems to provide adequate information security for all agency operations and assets as defined in 15 U.S.C. § 278g-3. This standard shall be used in designing and implementing cryptographic modules that federal departments and agencies operate or are operated for them under contract. The standard provides four increasing, qualitative levels of security intended to cover a wide range of potential applications and environments. The security requirements cover areas related to the secure design, implementation and operation of a cryptographic module. These areas include cryptographic module specification; cryptographic module interfaces; roles, services, and authentication; software/firmware security; operating environment; physical security; non-invasive security; sensitive security parameter management; self-tests; life-cycle assurance; and mitigation of other attacks.}, + file = {/home/jaseg/Sync/Research/Zotero/2019_National Institute of Standards and Technology (US)_Security requirements for cryptographic modules.pdf} +} + @article{navasMTDWhereArt2021, title = {{{MTD}}, {{Where Art Thou}}? {{A Systematic Review}} of {{Moving Target Defense Techniques}} for {{IoT}}}, shorttitle = {{{MTD}}, {{Where Art Thou}}?}, @@ -2805,6 +3817,20 @@ file = {/home/jaseg/Zotero/storage/FV5RHTLR/global_20220721_01.html} } +@inproceedings{negreaSequentialSamplingTime2009, + title = {Sequential Sampling Time Domain Reflectometer}, + author = {Negrea, Catalin and Rangu, Marius}, + date = {2009-09}, + pages = {367--371}, + doi = {10.1109/SIITME.2009.5407341}, + url = {https://ieeexplore.ieee.org/document/5407341/?arnumber=5407341}, + urldate = {2025-03-11}, + abstract = {Time domain reflectometry (TDR) is a well-known technique used to detect and characterize impedance discontinuities in transmission lines. Usually the application of this technique employs the usage of a step generator to drive one end of the transmission line and a high speed oscilloscope to visualize the signal reflected at various impedance discontinuities points. This paper presents the design and implementation of an USB-based time domain reflectometer which integrates the functions of both equipments and is intended to be a low cost solution for time domain reflectometry. The acquisition technique used is sequential sampling based on integrated delay lines, giving a time step of 250 [ps] at a total acquisition time of about 2.6 [us]. Sequential sampling is successfully used for high speed sampling oscilloscopes and can be implemented using commercially available components. Unlike similar implementations of the method, our proposal uses internal delay calibration to eliminate the ghost effect which limits the minimum measurable cable length. Also, by comparison with random sampling TDRs, our approach allows an improved control over the acquisition parameters.}, + eventtitle = {2009 15th {{International Symposium}} for {{Design}} and {{Technology}} of {{Electronics Packages}} ({{SIITME}})}, + keywords = {Cost function,Drives,Impedance,Oscilloscopes,Reflectometry,Sampling methods,Signal generators,Transmission line discontinuities,Transmission lines,Visualization}, + file = {/home/jaseg/Sync/Research/Zotero/2009_Negrea_Rangu_Sequential sampling time domain reflectometer.pdf;/home/jaseg/Zotero/storage/NDQTGESM/5407341.html} +} + @online{nelsonLittleHelpMy2022, title = {With a {{Little Help}} from {{My Friends}}: {{Transport Deniability}} for {{Instant Messaging}}}, shorttitle = {With a {{Little Help}} from {{My Friends}}}, @@ -2822,6 +3848,16 @@ file = {/home/jaseg/Zotero/storage/MNTNWQW4/Nelson and Askarov - 2022 - With a Little Help from My Friends Transport Deni.pdf} } +@mvbook{nesperHandbuchDrahtlosenTelegraphie1921, + title = {Handbuch Der {{Drahtlosen Telegraphie}} Und {{Telphonie}}}, + author = {Nesper, Eugen}, + date = {1921}, + volume = {2}, + publisher = {Julius Springer}, + volumes = {2}, + keywords = {twisted-inductors} +} + @article{neumannExperimentallyOptimizingQKD2021, title = {Experimentally Optimizing {{QKD}} Rates via Nonlocal Dispersion Compensation}, author = {Neumann, Sebastian Philipp and Ribezzo, Domenico and Bohmann, Martin and Ursin, Rupert}, @@ -2848,6 +3884,24 @@ langid = {english} } +@article{nguyenReviewComparisonSolid2020, + title = {A {{Review}} and {{Comparison}} of {{Solid}}, {{Multi-Strands}} and {{Litz Style PCB Winding}}}, + author = {Nguyen, Minh Huy and Fortin Blanchette, Handy}, + date = {2020-08-16}, + journaltitle = {Electronics}, + shortjournal = {Electronics}, + volume = {9}, + number = {8}, + pages = {1324}, + issn = {2079-9292}, + doi = {10.3390/electronics9081324}, + url = {https://www.mdpi.com/2079-9292/9/8/1324}, + urldate = {2024-10-30}, + abstract = {At high frequency, AC resistance of a printed circuit board (PCB) winding becomes important and accounts for a large proportion of planar transformer losses. The winding is then influenced by both skin and proximity phenomenon, which makes the current distribution uneven resulting in an increased resistance. The study of improving AC resistance of a PCB winding has been tackled by many researchers. However, the lack of an overview and comparison among improvements has made it difficult to apply those methods to a specific winding. To overcome the above limitations, this paper investigates the pros and cons of three popular AC resistance optimizing methods: optimizing track width of a solid PCB winding, using multi-strands and using Litz style PCB winding. To verify the theoretical analysis, a total of 12 PCBs are simulated by finite element (FEM) and tested in the laboratory. Five criteria are analyzed, including skin resistance, proximity resistance, AC to DC ratio, total AC resistance and complexity are taken into consideration. The results of this study show that optimizing track width method has a significant improvement on AC resistance while the use of Litz PCB is effective for applications that need stable AC resistance in a wide frequency range. The use of parallel strands winding should be carefully considered as there is not significant benefit in both reducing the AC resistance and AC to DC ratio.}, + langid = {english}, + file = {/home/jaseg/Sync/Research/Zotero/2020_Nguyen_Fortin Blanchette_A Review and Comparison of Solid, Multi-Strands and Litz Style PCB Winding.pdf} +} + @incollection{nielsenNewApproachPractical2012, title = {A {{New Approach}} to {{Practical Active-Secure Two-Party Computation}}}, booktitle = {Advances in {{Cryptology}} – {{CRYPTO}} 2012}, @@ -2921,6 +3975,15 @@ file = {/home/jaseg/Sync/Research/Zotero/Nilges_2015_The Cryptographic Strength of Tamper-Proof Hardware.pdf} } +@misc{nisargaSystemLevelTamperProtection2016, + title = {System-{{Level Tamper Protection Using MSP MCUs}}}, + author = {Nisarga, Bhargavi and Peeters, Eric}, + date = {2016}, + abstract = {Security in embedded systems is a topic that is gaining prominence as embedded systems and products are being deployed everywhere to be used in our everyday routines. Security concerns for embedded system developers and its users scales from adversaries having remote to physical access of the system. Increasing security for remote access includes incorporating secure data communication and secure software and firmware updates to the system; for example, leveraging industry-accepted cryptographic algorithms and secure communication protocols. This application report focuses on security concerns with adversaries having physical access to the system or product, understanding the need for system-level tamper protection, and how the security impact can be mitigated using system-level tamper detection and response functions.}, + langid = {english}, + file = {/home/jaseg/Zotero/storage/RXLIM8IA/2016 - System-Level Tamper Protection Using MSP MCUs.pdf} +} + @book{niuLaserLogicState2014, title = {Laser {{Logic State Imaging}} ({{LLSI}})}, author = {Niu, Baohua and Khoo, Ms and Chapman, Mr and Chen, Mr and Bockelman, Mr}, @@ -2930,6 +3993,72 @@ abstract = {Infrared Emission Microscopy based logic state imaging, since its introduction in early 2000, has been an indispensable tool and technology in the advanced process technology development and design debug applications. Continuous Laser (1064nm and 1319nm lasers) based Signal Imaging and Probing (CW-SIP) Technology, since its introductions about 4 years ago, has been widely used for scan debug and probing work extensively. We report a new technology-LLSI that combines the better resolution (50\% better) and high signal to noise (SnR) of the CW-SIP with the unique capabilities of the IREM based LSI to enable a unique technology that extend LSI to low voltage (} } +@inproceedings{nomotoSplittingConductorsCoils2024, + title = {Splitting {{Conductors}} of {{Coils}} on {{PCB}} for {{AC-resistance Reduction}}}, + booktitle = {2024 {{IEEE Applied Power Electronics Conference}} and {{Exposition}} ({{APEC}})}, + author = {Nomoto, Shunsaku and Shimura, Shinjiro and Kusaka, Keisuke and Takada, Takashi}, + date = {2024-02}, + pages = {3204--3209}, + issn = {2470-6647}, + doi = {10.1109/APEC48139.2024.10509283}, + url = {https://ieeexplore.ieee.org/document/10509283/?arnumber=10509283}, + urldate = {2024-10-04}, + abstract = {Coils built on printed circuit boards (PCBs) have been widely used for transformers and inductors because they have the advantages of downsizing and consistency for mounting components on the PCBs. However, copper loss caused by the skin and proximity effect takes a large proportion of the total loss of the inductors at high-frequency regions. Thus, reducing copper loss is one of the significant issues for the inductors to reduce the power loss on the coils. This paper proposes a method to suppress copper loss (AC-resistance) due to the skin and proximity effect by splitting patterns of a coil and swapping them at the corner of the coil. The proposed structure for the coil is characterized as having no via, which results in an increase in cost and copper loss. The simulation results demonstrate that a 12-corner coil shape with a splitting pattern into three sections suppresses the resistance by 16.7\% compared to a spiral coil and improves the quality factor by 10.9\%. Practical experiments have revealed that the optimized 12-corner coil improves resistance by 24.6\% and the quality factor by 18.7\%.}, + eventtitle = {2024 {{IEEE Applied Power Electronics Conference}} and {{Exposition}} ({{APEC}})}, + keywords = {Coils,Printed circuit board (PCB),Printed circuits,Proximity effect,Q-factor,Resistance,Shape,Simulation,Skin effect,Spiral coil,Spirals}, + file = {/home/jaseg/Sync/Research/Zotero/Nomoto et al_2024_Splitting Conductors of Coils on PCB for AC-resistance Reduction.pdf;/home/jaseg/Zotero/storage/K8XAZLUH/10509283.html} +} + +@patent{nortonTamperDetectingCases2019, + type = {patentus}, + title = {Tamper Detecting Cases}, + author = {Norton, John}, + holder = {{Hewlett Packard Enterprise Development LP}}, + date = {2019-11-26}, + number = {10489614B2}, + url = {https://patents.google.com/patent/US10489614B2/en}, + urldate = {2025-04-04}, + langid = {english}, + keywords = {mating lid,opposing side,side walls,socket,storage unit}, + file = {/home/jaseg/Sync/Research/Zotero/2019_Norton_Tamper detecting cases.pdf} +} + +@book{nottebrockSpulen1950, + title = {Spulen}, + author = {Nottebrock, Heinrich}, + date = {1950}, + series = {Bauelemente Der {{Nachrichtentechnik}}}, + volume = {3}, + publisher = {Schiele \& Schön}, + keywords = {twisted-inductors} +} + +@book{nsaHistoryUSCommunications1973, + title = {A {{History}} of {{U}}.{{S}}. {{Communications Security}} ({{The David G}}. {{Boak Lectures}}), {{Volume I}}}, + author = {{NSA}}, + namea = {{Michael Best}}, + nameatype = {collaborator}, + date = {1973}, + url = {http://archive.org/details/history_comsec-nsa}, + urldate = {2025-02-18}, + langid = {english}, + keywords = {NSA}, + annotation = {2015 re-declassified version contains more material} +} + +@book{nsaHistoryUSCommunications1981, + title = {A {{History}} of {{U}}.{{S}}. {{Communications Security}} ({{The David G}}. {{Boak Lecture}}), {{Volume II}}}, + author = {{NSA}}, + namea = {{Michael Best}}, + nameatype = {collaborator}, + date = {1981}, + url = {http://archive.org/details/history_comsec_ii-nsa}, + urldate = {2025-02-18}, + langid = {english}, + keywords = {NSA}, + annotation = {2015 re-declassified version contains more material} +} + @article{obermaierBreakingRestoringEmbedded, title = {Breaking and {{Restoring Embedded System Security}} - {{From Practical Attacks}} to {{Novel PUF-Based Physical Security Enclosures}}}, author = {Obermaier, Johannes}, @@ -2938,7 +4067,6 @@ @inproceedings{obermaierMeasurementSystemCapacitive2018, title = {A Measurement System for Capacitive {{PUF-based}} Security Enclosures}, - booktitle = {Proceedings of the 55th {{Annual Design Automation Conference}}}, author = {Obermaier, Johannes and Immler, Vincent and Hiller, Matthias and Sigl, Georg}, date = {2018-06-24}, pages = {1--6}, @@ -2978,6 +4106,22 @@ isbn = {978-1-5386-9210-3} } +@article{orlandiOptimizationShieldedPCB2011, + title = {Optimization of {{Shielded PCB Air-Core Toroids}} for {{High-Efficiency DC}}–{{DC Converters}}}, + author = {Orlandi, Stefano and Allongue, Bruno Andre and Blanchot, Georges and Buso, Simone and Faccio, Federico and Fuentes, Cristian Alejandro and Kayal, Maher and Michelis, Stefano and Spiazzi, Giorgio}, + date = {2011-07}, + journaltitle = {IEEE Transactions on Power Electronics}, + shortjournal = {IEEE Trans. Power Electron.}, + volume = {26}, + number = {7}, + pages = {1837--1846}, + issn = {0885-8993, 1941-0107}, + doi = {10.1109/TPEL.2010.2090902}, + url = {http://ieeexplore.ieee.org/document/5621918/}, + urldate = {2024-10-25}, + file = {/home/jaseg/Sync/Research/Zotero/Orlandi et al_2011_Optimization of Shielded PCB Air-Core Toroids for High-Efficiency DC–DC.pdf} +} + @online{orosaDataplantEnhancingSystem2019, title = {Dataplant: {{Enhancing System Security}} with {{Low-Cost In-DRAM Value Generation Primitives}}}, shorttitle = {Dataplant}, @@ -3010,6 +4154,23 @@ file = {/home/jaseg/Sync/Research/Zotero/2016_Paley et al_Active protection against PCB physical tampering.pdf;/home/jaseg/Zotero/storage/5UH5JJZ6/7479227.html} } +@article{parsonsTamperRadiationResistant1977, + title = {Tamper and {{Radiation Resistant Instrumentation}} for {{Safeguarding Special Nuclear Material}}}, + author = {Parsons, Barrett B. and Wells, Jerry L.}, + date = {1977-02}, + journaltitle = {IEEE Transactions on Nuclear Science}, + volume = {24}, + number = {1}, + pages = {616--620}, + issn = {1558-1578}, + doi = {10.1109/TNS.1977.4328751}, + url = {https://ieeexplore.ieee.org/document/4328751/}, + urldate = {2025-04-11}, + abstract = {A tamper-resistant liquid level/accountability instrumentation system for safeguards use has been developed and tested. The tests demonstrate the accuracy of liquid level measurement using TDR (Time Domain Reflectometry) techniques and the accuracy of differential pressure and temperature measurements utilizing a custom designed liquid level sensor probe. The calibrated liquid level, differential pressure, and temperature data provide sufficient information to accurately determine volume, density, and specific gravity. Test solutions used include ordinary tap water, diluted nitric acid in varying concentrations, and diluted uranium trioxide also in varying concentrations. System operations and preliminary test results conducted at the General Electric Midwest Fuel Recovery Plant and the National Bureau of Standards, respectively, suggest that the system will provide the safeguards inspector with an additional tool for real-time independent verification of normal operations and special nuclear materials accountancy data for chemical reprocessing plants. This paper discusses the system design concepts, including a brief description of the tamper and radiation resistant features, the preliminary test results, and the significance of the work.}, + keywords = {Gravity,Instruments,Level control,Level measurement,Materials testing,Probes,Reflectometry,System testing,Temperature measurement,Temperature sensors}, + file = {/home/jaseg/Sync/Research/Zotero/1977_Parsons_Wells_Tamper and Radiation Resistant Instrumentation for Safeguarding Special Nuclear.pdf} +} + @inproceedings{parvinOpticalProbingResistant2022, title = {Toward {{Optical Probing Resistant Circuits}}: {{A Comparison}} of {{Logic Styles}} and {{Circuit Design Techniques}}}, shorttitle = {Toward {{Optical Probing Resistant Circuits}}}, @@ -3051,6 +4212,14 @@ file = {/home/jaseg/Zotero/storage/RLBAU32H/Patra et al. - ABY2.0 Improved Mixed-Protocol Secure Two-Party C.pdf} } +@misc{pcisecuritystandardscouncilPaymentCardIndustry2021, + title = {Payment {{Card Industry PIN Transaction Security Hardware Security Module Modular Derived Test Requirements}}}, + author = {{PCI Security Standards Council}}, + date = {2021-12}, + url = {https://docs-prv.pcisecuritystandards.org/PTS/Derived%20Test%20Requirements/PCI_HSM_DTRs_v4.pdf}, + urldate = {2025-04-09} +} + @article{perrigTESLABroadcastAuthentication, title = {The {{TESLA Broadcast Authentication Protocol}}}, author = {Perrig, Adrian and Canetti, Ran and Tygar, J D and Song, Dawn}, @@ -3142,6 +4311,26 @@ file = {/home/jaseg/Sync/Research/Zotero/Pirnay et al_2022_Learning classical readout quantum PUFs based on single-qubit gates.pdf} } +@inproceedings{plummerHistoryNuclearWeapon1998, + title = {The {{History}} of {{Nuclear Weapon Safety Devices}}}, + author = {Plummer, David W. and Greenwood, William H.}, + date = {1998}, + publisher = {Sandia National Laboratories}, + url = {https://www.osti.gov/servlets/purl/671923}, + urldate = {2025-04-16}, + eventtitle = {34th {{AIAA}}/{{ASME}}/{{SAE}}/{{ASEE Joint Propulsion Conference}}}, + file = {/home/jaseg/Zotero/storage/T6MZFXIB/671923.pdf} +} + +@thesis{polasekReflektometrCasoveOblasti2020, + type = {mathesis}, + title = {Reflektometr v Časové Oblasti}, + author = {Polášek, Petr}, + date = {2020-01-30}, + url = {https://www.semanticscholar.org/paper/Reflektometr-v-%C4%8Dasov%C3%A9-oblasti-Pol%C3%A1%C5%A1ek/5c634a66e7c6230548b7f65c9cd4c8966a10d77e}, + urldate = {2025-04-07} +} + @article{portmannKeyRecyclingAuthentication2014, title = {Key {{Recycling}} in {{Authentication}}}, author = {Portmann, Christopher}, @@ -3176,6 +4365,64 @@ file = {/home/jaseg/Zotero/storage/WTJ3HBFT/o0485.html} } +@book{querfurthCoilWindingDescription1954, + title = {Coil {{Winding}}: {{A Description}} of {{Coil Winding Procedures}}, {{Winding Machines}} and {{Associated Equipment}}}, + author = {Querfurth, William}, + date = {1954}, + publisher = {G. Stevens Mfg. Company}, + url = {https://vintagewindings.com/gen%20pop/8299543VW8335/TransDesign%201/Coil%20Winding.pdf}, + urldate = {2024-10-30}, + file = {/home/jaseg/Zotero/storage/MJR5J958/Coil Winding.pdf} +} + +@inproceedings{quisquaterElectroMagneticAnalysisEMA2001, + title = {{{ElectroMagnetic Analysis}} ({{EMA}}): {{Measures}} and {{Counter-measures}} for {{Smart Cards}}}, + shorttitle = {{{ElectroMagnetic Analysis}} ({{EMA}})}, + booktitle = {Smart {{Card Programming}} and {{Security}}}, + author = {Quisquater, Jean-Jacques and Samyde, David}, + editor = {Attali, Isabelle and Jensen, Thomas}, + date = {2001}, + pages = {200--210}, + publisher = {Springer}, + location = {Berlin, Heidelberg}, + doi = {10.1007/3-540-45418-7_17}, + abstract = {A processor can leak information by different ways [1], electromagnetic radiations could be one of them. This idea, was first introduced by Kocher, with timing and power measurements. Here we developed the continuation of his ideas by measuring the field radiated by the processor. Therefore we show that the electromagnetic attack obtains at least the same result as power consumption and consequently must be carefuly taken into account. Finally we enumerate countermeasures to be implemented.}, + isbn = {978-3-540-45418-2}, + langid = {english}, + keywords = {DEMA,DPA,electromagnetic and power analysis,SEMA,smartcard,SPA,tamper resistance}, + file = {/home/jaseg/Sync/Research/Zotero/Quisquater_Samyde_2001_ElectroMagnetic Analysis (EMA).pdf} +} + +@article{rahmanComprehensiveSurveyHardwareSoftware, + title = {A {{Comprehensive Survey}} on {{Hardware-Software}} Co-{{Protection}} against {{Invasive}}, {{Non-Invasive}} and {{Interactive Security Threats}}}, + author = {Rahman, Habibur}, + abstract = {In the face of escalating security threats in modern computing systems, there is an urgent need for comprehensive defense mechanisms that can effectively mitigate invasive, noninvasive and interactive security vulnerabilities in hardware and software domains. Individually, hardware and software weaknesses and probable remedies have been practiced but protecting a combined system has not yet been discussed in detail. This survey paper provides a comprehensive overview of the emerging field of Hardware-Software co-Protection against Invasive and Non-Invasive Security Threats. We systematically review state-of-the-art research and developments in hardware and software security techniques, focusing on their integration to create synergistic defense mechanisms. The survey covers a wide range of security threats, including physical attacks, side-channel attacks, and malware exploits, and explores the diverse strategies employed to counter them. Our survey meticulously examines the landscape of security vulnerabilities, encompassing both physical and software-based attack vectors, and explores the intricate interplay between hardware and software defenses in mitigating these threats.Furthermore, we discuss the challenges and opportunities associated with Hardware-Software co-Protection and identify future research directions to advance the field. Through this survey, we aim to provide researchers, practitioners, and policymakers with valuable insights into the latest advancements and best practices for defending against complex security threats in modern computing environments.}, + langid = {english}, + keywords = {sampling-mesh}, + file = {/home/jaseg/Zotero/storage/EKJ87EQG/Rahman - A Comprehensive Survey on Hardware-Software co-Pro.pdf} +} + +@patent{razaghiTamperDetectionSystem2020, + type = {patentus}, + title = {Tamper Detection System}, + author = {Razaghi, Mani and Hill, Jesse}, + holder = {{Square Inc}}, + date = {2020-03-17}, + number = {10595400B1}, + url = {https://patents.google.com/patent/US10595400B1/en}, + urldate = {2025-04-04}, + keywords = {detection circuit,housing,sensor element,tamper,tamper detection}, + file = {/home/jaseg/Sync/Research/Zotero/2020_Razaghi_Hill_Tamper detection system.pdf} +} + +@misc{renesaselectronicscorporationApplicationNoteAN2242019, + title = {Application {{Note AN-224}}: {{ALVC}}/{{LVC Logic Characteristics}} and {{Applications}}}, + author = {{Renesas Electronics Corporation}}, + date = {2019}, + url = {https://www.renesas.com/en/document/apn/224-alvclvc-logic-characteristics-and-apps}, + urldate = {2025-04-09} +} + @article{RenesasRA6T1Group, title = {Renesas {{RA6T1 Group User}}'s {{Manual}}: {{Hardware}}}, langid = {english}, @@ -3253,6 +4500,23 @@ file = {/home/jaseg/Zotero/storage/B8JEIE23/Roetteler et al. - 2017 - Quantum Resource Estimates for Computing Elliptic .pdf} } +@article{rosaCalculationSelfinductanceSinglelayer1906, + title = {Calculation of the Self-Inductance of Single-Layer Coils}, + author = {Rosa, E. B.}, + date = {1906-08}, + journaltitle = {Bulletin of the Bureau of Standards}, + shortjournal = {BULL. NATL. BUR. STAND.}, + volume = {2}, + number = {2}, + pages = {161}, + issn = {0096-8579}, + doi = {10.6028/bulletin.034}, + url = {https://nvlpubs.nist.gov/nistpubs/bulletin/02/nbsbulletinv2n2p161_A2b.pdf}, + urldate = {2024-10-10}, + langid = {english}, + file = {/home/jaseg/Sync/Research/Zotero/1906_Rosa_Calculation of the self-inductance of single-layer coils.pdf} +} + @inproceedings{roySelftimedSensorsDetecting2022, title = {Self-Timed {{Sensors}} for {{Detecting Static Optical Side Channel Attacks}}}, booktitle = {2022 23rd {{International Symposium}} on {{Quality Electronic Design}} ({{ISQED}})}, @@ -3304,6 +4568,28 @@ file = {/home/jaseg/Zotero/storage/9EWXN9MY/Ruhrmair et al. - 2015 - Virtual Proofs of Reality and their Physical Imple.pdf} } +@software{ruokolainenElmerCSCElmerfemElmer2023, + title = {{{ElmerCSC}}/Elmerfem: {{Elmer}} 9.0}, + shorttitle = {{{ElmerCSC}}/Elmerfem}, + author = {Ruokolainen, Juha and Malinen, Mika and Råback, Peter and Zwinger, Thomas and Takala, Eelis and Kataja, Juhani and Gillet-Chaulet, Fabien and Ilvonen, Sami and Gladstone, Rupert and Byckling, Mikko and {Mondher Chekki} and Gong, Cheng and Ponomarev, Pavel and Van Dongen, Eef and Robertsen, Fredrik and Wheel, Iain and Cook, Samuel and {T7saeki} and {Luzpaz} and {Rich\_B}}, + date = {2023-05-03}, + doi = {10.5281/ZENODO.7892181}, + url = {https://zenodo.org/record/7892181}, + urldate = {2024-12-03}, + abstract = {Elmer Release Notes for version 9.0 Previous release: {$<$}strong{$>$}8.4{$<$}/strong{$><$}br{$>$} Period covered: {$<$}strong{$>$}Dec 18 2018 - Nov 10 2020{$<$}/strong{$><$}br{$>$} Number of commits: {$<$}strong{$>$}\textasciitilde 1340{$<$}/strong{$>$} (excluding merges) These release notes provide information on the most essential changes. You can get a complete listing of commit messages, for example, with:{$<$}br{$>$} git log --since="2018-12-18" \> log.txt Apart from the core Elmer team at CSC (Juhani K., Mika M., Juha R., Peter R., Thomas Z.) git log shows contributions from Daniel B., Denis C., Eef v. D., Eelis T., Fabien G-C, Foad S. F., Fredrik R., Olivier G., Joe T., Luz P., Mondher C., Rupert G., Sami I., Sami R., Samuel C., and Saeki T. to this release. Additionally there are many ongoing developments in several branches that have not been merged to this release and are not therefore covered here. Also sometimes the code has been passed on by the original author by other means than the git, and in such cases the names may have been accidentally omitted. The contributions of all developers are gratefully acknowledged! New Solver Modules IncompressibleNSVec Incompressible Navier-Stokes solver utilizing vectorized and threaded assembly Includes built-in support for block preconditioning (Schur complement approximation included) Includes non-Newtonian material laws Intended for Elmer/Ice community but also other may find it useful. BeamSolver3D Solver for the Timoshenko equations of elastic beams embedded in 3-D space (see Elmer Models Manual for documentation) GmshReader Reads the mesh and results from simple Gmsh file format (that can be written by ElmerSolver as well) Solver includes interpolation of the fields to the current mesh May be used for hierarchical simulations where results are inherited from previous simulations ModelMixedPoisson A general-purpose mixed FEM solver for the Poisson equation (see Elmer Models Manual for documentation) Employs a div-conforming (face) finite element approximation SpringAssembly A generic utility to add node-wise springs and masses to structural models (see Elmer Models Manual for documentation) MarchingODESolver A solver that can compute ordinary differential equations on a moving mesh. It is assumed that the mesh is structured and there is a known draw speed. This makes it possible to relate timestep and mesh parameter directly with each other. Enhanced Solver Modules ElasticSolve Adding a new UMAT material model is simplified: compilation with an elmerf90 command is sufficient The state variables of UMAT material model can be written to a result file and visualized UMAT implementation updated to support axial symmetry EMWaveSolver The solver updated to support the basis functions of second order and simulation in 2D The solver is now documented in Elmer Models Manual MagnetoDynamics Fixes and generalization to the source projection (the determination of Jfix). A surface impedance condition for the time-harmonic AV model Thin region formulation for 1D wires in transient analysis Magnetic anisotropy (a complex-valued reluctivity tensor) enabled for the time-harmonic AV model MagnetoDynamics2D A velocity field can be given to add a Lorentz term to the equations Coreloss a posteriori formulas (Bertotti + extended Bertotti) MagnetoDynamicsCalcFields Enabled postprocessing in the case of a complex-valued reluctivity tensor Enabled the computation of magnetic co-energy ResultOutputSolver Vtu format: Enable saving of pieces, i.e. bodies and boundaries Improved saving of elemental, DG and IP fields Gmsh format: Improved use of masking features in output ShellSolver Eigenanalysis with the shell solver enabled Spring, resultant force and couple BCs added Combined analysis of 2-D shells and 1-D beams enabled Fully coupled analysis of 2-D shells and 3-D solids enabled (still subject to some geometric constraints on the mesh) Partial support for using an alternate formulation with drilling degrees of freedom StructuredMeshMapper Enable arbitrary number of layers, before limited to three. HeatSolver A new tentative vectorized version: HeatSolverVec Enable symmetric 3D cases for view factor computation to obtain significant timesavings Make Gebhart factors linear system symmetric, if possible "ViewFactor Symmetry" StressSolver Added a Maxwell visco-elastic model to linear elasticity solver Possible also to be run as incompressible (introducing pressure variable) Optional pre-stress advection term for layered Earth-deformation model WaveSolver The solver can be used to model harmonic and eigenmode cases as well. ParticleAdvector Allow particles to be sent from Gaussian integration points as well. This is beneficial for robustness since they are not located at surface. Local integration time based on local Courant number. ElmerSolver library functionality Treatment of block systems The block matrix approach for solving complicated problems has been enhanced. Currently the block approach can be used in several ways during some stage of the solution. Split up monolithic equations into subproblems that are easier to solve (e.g. IncompressibleNS) Combine linear multiphysical (coupled) problems into a block matrix (e.g. FSI problems) For problems belonging to class 1) we may perform recreation of a monolithic matrix. This will allow better use of standard linear algebra to utilize direct solvers, or change the system to be harmonic or eigenvalue problem. For the documentation of utilizing block-matrix construct in connection with the fully coupled simulation of multiphysical problems see the new chapter "Block-matrix construct to build tightly coupled solvers" in ElmerSolver Manual. More economical integration rules A collection of economical Gauss quadrature rules for prismatic elements are introduced to replace tensor product rules for quadrilateral p-elements when 1 \< p \<= 8. The tensor product rule with n = (p+1)**2 points is now replaced by more economical ones. Dirichlet BCs for div-conforming vector finite elements (face elements) A sif command of the form Q \{f\} j = Real ... can be used to specify vector-valued data whose normal component is then used to integrate the values of DOFs for vector-valued interpolation of the data. Here Q is an Elmer variable which is approximated with face finite elements. Conforming BCs by elimination System can identify conforming boundaries such that dofs related to nodes or edges on opposing sides may be assembled into one degree of freedom. This decreases the size of the linear system and is numerically favourable. Antiperiodicity may be included. For vector-valued problems all components must be treated alike. Conforming BCs for edge dofs may consider the direction of edge. See test cases with "Apply Conforming BCs" and "Conforming BC" defined. Improved internal partitioning with Zoltan Enable internal partitioning with Zoltan to honor connected boundaries. Enable primary solver to call other solvers For documentation see the section "Solver execution by a master solver" in ElmerSolver Manual. Enables calling before and after solving the primary problem. Also possible to call before and after each nonlinear iteration. Anderson Acceleration for nonlinear systems Implemented a version of Anderson Acceleration where previous solutions and residuals are used to accelerate the nonlinear convergence. May increase nonlinear convergence to quadratic, quadratic convergence (Newton's method) is not improved. Swapping meshes on-the-fly Implemented library functionality to swap meshes during the simulation. Currently no history data is interpolated. ListGetElemental routines More flexible routines for obtaining material parameters for the Gaussian integration points. Detects automatically what kind of fields the dependency depends on (nodal, DG, elemental, IP points) Vectorized versions to be used with vectorized finite element assembly View factors Allow computation of view factors in 3D cases with symmetry. Speed-up computation for cases where emissivity not equal to one. Enable view factors to be used in conjunction with DG (in HeatSolveVec) Run Control Enable external loop control over the simulation. May be used in optimization and parametric scanning etc. Applicable also to transient systems as the variable "time" is not used for the control level. Inline parameters Enable inline keywords -rpar and -ipar They are followed by the number of argument + values of the arguments. Generic source control We may tune a r.h.s. load vector such that the solution (or reaction force) at given node is the desired one. Mimics the old Smart Control operation of HeatSolve but on a library level. ElmerGrid Fixes for UNV, mptxt and Gmsh file format import. Tentative reader for FVCOM format Add possibility to define seed for Metis partitioning (-metisseed). Maintain entity names in extrusion ElmerGrid and its plugin under ElmerGUI were harmonized such that they use the same codebase. ElmerGUI Huge number of improvements by Saeki! Highlights include: Object browser to view the case at a glance and to easily access the most windows. Removed sif auto-generation functionality to avoid unintended overwriting of sif file. "Generate, save and run" button to quickly run the case modifed via GUI. "Save and run" button on sif window to quickly run the case modifed via sif window. Postprocessor button selectable from ElmerVTK, ElmerPost or ParaView. "New project..." menu as an alternative way to start a new project. Seperated "Save project as..." menu from "Save project" menu to save the project in a different directory. Improved and more robust project loading "Preference" menu on sif window and on solver log window for syntax highlighting and font selection. "Recent projects" in File menu for quick loading of recently used projects. Improved ElmerVTK postprocessor (reading simple .vtu file, bottom toolbar including time-step control and displace button, etc) Configuration \& Compilation New Windows installer utilizing msys2 either with or without ElmerGUI + with or without MPI installers Elmer/Ice New features in Elmer/Ice are documented in elmerfem/elmerice/ReleaseNotes/release\_elmerice\_9.0.md Other FreeCADBatchFEMTools improvements and added tests New Contributors @frroberts made their first contribution in https://github.com/ElmerCSC/elmerfem/pull/176 @mmcker made their first contribution in https://github.com/ElmerCSC/elmerfem/pull/118 @Foadsf made their first contribution in https://github.com/ElmerCSC/elmerfem/pull/207 @dremerb made their first contribution in https://github.com/ElmerCSC/elmerfem/pull/210 @Kezii made their first contribution in https://github.com/ElmerCSC/elmerfem/pull/234 @kinnala made their first contribution in https://github.com/ElmerCSC/elmerfem/pull/243 {$<$}strong{$>$}Full Changelog{$<$}/strong{$>$}: https://github.com/ElmerCSC/elmerfem/compare/release-8.4...release-9.0}, + organization = {Zenodo}, + version = {release-9.0} +} + +@book{saackeRadiotechnikIIIEmpfanger1926, + title = {Radiotechnik {{III}}: {{Die Empfänger}}}, + author = {Saacke, Hermann}, + date = {1926}, + series = {Sammlung {{Göschen}}}, + volume = {3}, + publisher = {Walter de Gruyter \& Co.} +} + @inproceedings{sadeqPrivacyBreachAndroid2022, title = {Privacy {{Breach}} in {{Android Smartphone Through Inaudible Sound}}}, booktitle = {2022 {{IEEE Wireless Communications}} and {{Networking Conference}} ({{WCNC}})}, @@ -3338,6 +4624,24 @@ file = {/home/jaseg/Zotero/storage/LYZND7TS/Saeif et al. - 2023 - The Day-After-Tomorrow On the Performance of Radi.pdf} } +@article{samiAdvancingTrustworthinessSysteminPackage2024, + title = {Advancing {{Trustworthiness}} in {{System-in-Package}}: {{A Novel Root-of-Trust Hardware Security Module}} for {{Heterogeneous Integration}}}, + shorttitle = {Advancing {{Trustworthiness}} in {{System-in-Package}}}, + author = {Sami, Md Sami Ul Islam and Zhang, Tao and Shuvo, Amit Mazumder and Haque, Md Saad Ul and Calzada, Paul E. and Azar, Kimia Zamiri and Kamali, Hadi Mardani and Rahman, Fahim and Farahmandi, Farimah and Tehranipoor, Mark}, + date = {2024}, + journaltitle = {IEEE Access}, + volume = {12}, + pages = {48081--48107}, + issn = {2169-3536}, + doi = {10.1109/ACCESS.2024.3375874}, + url = {https://ieeexplore.ieee.org/document/10466542/?arnumber=10466542}, + urldate = {2024-12-13}, + abstract = {The semiconductor industry has adopted heterogeneous integration (HI), incorporating modular intellectual property (IP) blocks (chiplets) into a unified system-in-package (SiP) to overcome the slowdown in Moore’s Law and Dennard scaling and to respond to the increasing demand for advanced integrated circuits (ICs). Despite the manifold benefits of HI, such as enhanced performance, reduced area overhead, and improved yield, this transformation has also led to security vulnerabilities in the SiP supply chain and in-field operations, ranging from chiplet piracy and SiP reverse engineering (RE) to information leakage. Although conventional countermeasures provide the desired robustness for monolithic ICs, they are insufficient for addressing these challenges in the context of HI. To address these concerns, this paper presents a novel root-of-trust architecture, augmenting the process of integration using a centralized chiplet hardware security module (CHSM), aiming to provide comprehensive and robust protection throughout the SiP supply chain and in-field operations. Also, the proposed architecture equipped with the CHSM effectively addresses potential security breaches while providing robust protection against zero-day attacks through its reconfigurable capabilities. Throughout five detailed case studies, this paper performs a comprehensive security analysis to illustrate the resilience of CHSM against contemporary attack scenarios in the HI domain.}, + eventtitle = {{{IEEE Access}}}, + keywords = {chiplet,Hardware security,hardware security module,Heterogeneous integration,Information leakage,Intellectual property,Multichip modules,Packaging,packaging technology,Reverse engineering,Security management,Semiconductor device manufacture,SiP security,Supply chain management,supply chain security,system-in-package,System-in-package,Trust management,vulnerability mitigation}, + file = {/home/jaseg/Sync/Research/Zotero/Sami et al_2024_Advancing Trustworthiness in System-in-Package.pdf;/home/jaseg/Zotero/storage/CHJP67V4/10466542.html} +} + @article{sasakiQuantumNetworksWhere2017, title = {Quantum Networks: Where Should We Be Heading?}, shorttitle = {Quantum Networks}, @@ -3355,6 +4659,24 @@ file = {/home/jaseg/Sync/Research/Zotero/Sasaki_2017_Quantum networks.pdf} } +@inproceedings{satoToucheEnhancingTouch2012, + title = {Touché: Enhancing Touch Interaction on Humans, Screens, Liquids, and Everyday Objects}, + shorttitle = {Touché}, + author = {Sato, Munehiko and Poupyrev, Ivan and Harrison, Chris}, + date = {2012-05-05}, + pages = {483--492}, + publisher = {ACM}, + location = {Austin Texas USA}, + doi = {10.1145/2207676.2207743}, + url = {https://dl.acm.org/doi/10.1145/2207676.2207743}, + urldate = {2025-03-10}, + abstract = {Touché proposes a novel Swept Frequency Capacitive Sensing technique that can not only detect a touch event, but also recognize complex configurations of the human hands and body. Such contextual information significantly enhances touch interaction in a broad range of applications, from conventional touchscreens to unique contexts and materials. For example, in our explorations we add touch and gesture sensitivity to the human body and liquids. We demonstrate the rich capabilities of Touché with five example setups from different application domains and conduct experimental studies that show gesture classification accuracies of 99\% are achievable with our technology.}, + eventtitle = {{{CHI}} '12: {{CHI Conference}} on {{Human Factors}} in {{Computing Systems}}}, + isbn = {978-1-4503-1015-4}, + langid = {english}, + file = {/home/jaseg/Zotero/storage/544SAJVE/Sato et al. - 2012 - Touché enhancing touch interaction on humans, scr.pdf} +} + @article{schermerImprovedBendLoss2007, title = {Improved {{Bend Loss Formula Verified}} for {{Optical Fiber}} by {{Simulation}} and {{Experiment}}}, author = {Schermer, Ross T. and Cole, James H.}, @@ -3447,6 +4769,43 @@ file = {/home/jaseg/Sync/Research/Zotero/Selmke et al_2022_On the application of Two-Photon Absorption for Laser Fault Injection attacks.pdf} } +@article{senOrigamiInductorFoldable2024, + title = {Origami {{Inductor}}: {{Foldable}} 3-{{D Polyhedron Multiphase Air-Coupled Inductors With Flux Cancellation}} and {{Faster Transient}}}, + shorttitle = {Origami {{Inductor}}}, + author = {Sen, Tanuj and Elasser, Youssef and Chen, Minjie}, + date = {2024-06}, + journaltitle = {IEEE Transactions on Power Electronics}, + volume = {39}, + number = {6}, + pages = {7312--7328}, + issn = {1941-0107}, + doi = {10.1109/TPEL.2024.3374572}, + url = {https://ieeexplore.ieee.org/document/10462531/?arnumber=10462531}, + urldate = {2024-10-30}, + abstract = {Traditional air-coupled inductors are usually limited to two phases. This article presents the concept of multiphase 3-D polyhedron air-coupled inductors – termed “origami inductors” – formed by folding planar windings on modular surfaces into symmetric 3-D structures, which enables symmetric air-coupling of more than two phases. The air-coupled origami inductors, unlike traditional multiphase coupled inductors, do not need a magnetic core and can operate at high frequencies. Compared to discrete air-core inductors, the origami inductors can be easily transported and assembled and can offer reduced size, smaller current ripple, and faster transient due to dc and ac flux cancellation. Models are developed to quantify the performance benefits of the origami inductor. A tetrahedron-shaped four-phase origami inductor was designed and through FEM simulations, its reduced volume was verified. The origami inductor was also tested as a part of a 5 V input, 12 V output, 80 W four-phase interleaved dc–dc boost converter, switching between frequencies ranging from 1 to 5 MHz, to verify its operational effectiveness.}, + eventtitle = {{{IEEE Transactions}} on {{Power Electronics}}}, + keywords = {Air-coupled inductor,Analytical models,Atmospheric modeling,dc–dc converter,inductance dual model,Inductors,Integrated circuit modeling,interleaving,magnetic circuit model,multiphase,origami,permeance-capacitor model,polyhedron,Semiconductor device modeling,Solid modeling,Windings}, + file = {/home/jaseg/Sync/Research/Zotero/2024_Sen et al_Origami Inductor.pdf;/home/jaseg/Zotero/storage/35VMZ29J/10462531.html} +} + +@article{seolTrustedIaaSEnvironment2016, + title = {A {{Trusted IaaS Environment}} with {{Hardware Security Module}}}, + author = {Seol, Jinho and Jin, Seongwook and Lee, Daewoo and Huh, Jaehyuk and Maeng, Seungryoul}, + date = {2016-05}, + journaltitle = {IEEE Transactions on Services Computing}, + volume = {9}, + number = {3}, + pages = {343--356}, + issn = {1939-1374}, + doi = {10.1109/TSC.2015.2392099}, + url = {https://ieeexplore.ieee.org/document/7010017/?arnumber=7010017&tag=1}, + urldate = {2024-12-13}, + abstract = {With the proliferation of cloud computing, security concerns about confidentiality violations of user data by the privileged domain and system administrators have been growing. This paper proposes secure cloud architecture with a hardware security module, which isolates cloud user data from potentially malicious privileged domains or cloud administrators. Within a securely isolated execution environment, the hardware security module provides essential security functionality with only restricted interfaces exposed to vulnerable management systems or cloud administrators. Such restriction prevents cloud administrators from affecting the security of guest VMs. The proposed architecture not only defends against wide attack vectors but also achieves a small TCB. This paper discusses our hardware and software implementation of the proposed cloud architecture, analyzes its security, and presents its performance results.}, + eventtitle = {{{IEEE Transactions}} on {{Services Computing}}}, + keywords = {Cloud computing,Computer architecture,Cryptography,Hardware,hardware security module,Hardware Security Module,Protocols,security,TCB}, + file = {/home/jaseg/Sync/Research/Zotero/Seol et al_2016_A Trusted IaaS Environment with Hardware Security Module.pdf;/home/jaseg/Zotero/storage/ZFNE2NAZ/7010017.html} +} + @article{shenDAENetMakingStrong2022, title = {{{DAENet}}: {{Making Strong Anonymity Scale}} in a {{Fully Decentralized Network}}}, shorttitle = {{{DAENet}}}, @@ -3571,6 +4930,19 @@ file = {/home/jaseg/Sync/Research/Zotero/2015_Smith et al_Design and Optimization of a Voice Coil Motor With a Rotary Actuator for an.pdf;/home/jaseg/Zotero/storage/PKJDFUKZ/7132747.html} } +@patent{smithMethodApparatusActive1999, + type = {patentus}, + title = {Method and Apparatus for Active Tamper Indicating Device Using Optical Time-Domain Reflectometry}, + author = {Smith, D. Barton and Muhs, Jeffrey D. and Pickett, Chris A. and Earl, D. Duncan}, + holder = {{Lockheed Martin Energy Research Corp}}, + date = {1999-12-14}, + number = {6002501A}, + url = {https://patents.google.com/patent/US6002501A/en}, + urldate = {2025-04-11}, + keywords = {breach,loop,operative,reflectometer,signals}, + file = {/home/jaseg/Sync/Research/Zotero/1999_Smith et al_Method and apparatus for active tamper indicating device using optical.pdf} +} + @report{smithRobustInexactGeometric, title = {Towards Robust Inexact Geometric Computation}, author = {Smith, Julian M.}, @@ -3601,6 +4973,24 @@ file = {/home/jaseg/Zotero/storage/DVUMANPK/Song and Mittal - 2017 - POSTER Inaudible Voice Commands.pdf} } +@article{songRotationLightweightWirelessPower2019, + title = {A {{Rotation-Lightweight Wireless Power Transfer System}} for {{Solar Wing Driving}}}, + author = {Song, Kai and Ma, Bingqing and Yang, Guang and Jiang, Jinhai and Wei, Ruizhi and Zhang, Hang and Zhu, Chunbo}, + date = {2019-09}, + journaltitle = {IEEE Transactions on Power Electronics}, + volume = {34}, + number = {9}, + pages = {8816--8830}, + issn = {1941-0107}, + doi = {10.1109/TPEL.2018.2886910}, + url = {https://ieeexplore.ieee.org/document/8576647/?arnumber=8576647}, + urldate = {2024-12-10}, + abstract = {In this paper, a novel magnetic coupler of wireless power transfer system for the solar wing driving of the spacecraft is designed. Compared with the traditional slip-ring power supply, the proposed magnetic coupler is characterized by non-contact, high efficiency, wear free, safety, and reliability. Particularly, it can be applied to the rotating condition. To realize light weight and small volume of the receiver, the magnetic coupler has been optimized from both compensation topology and coil configuration. First, a series-none topology is employed to eliminate the bulky secondary-side compensation capacitor. Second, a new nested solenoid coil with strip core is proposed to ensure miniaturization, stable power transfer, and high efficiency. Finally, the experimental setup is built to verify the performance of the designed magnetic coupler. Experimental results are well matched to simulations, demonstrating that the weight of the prototype is 1.3 kg and the transfer power is 3 kW at an ac-dc efficiency of 92.7\%.}, + eventtitle = {{{IEEE Transactions}} on {{Power Electronics}}}, + keywords = {Couplers,Couplings,Magnetic cores,Magnetic flux,Power generation,Resistance,Rotary magnetic coupler,series-none (S-0) topology,solar wing driving,solenoid coil,strip core,Topology,wireless power transfer (WPT)}, + file = {/home/jaseg/Sync/Research/Zotero/Song et al_2019_A Rotation-Lightweight Wireless Power Transfer System for Solar Wing Driving.pdf;/home/jaseg/Zotero/storage/7DHIZ9WS/8576647.html} +} + @inproceedings{sozioPatchableHardwareSecurity2021, title = {Patchable {{Hardware Security Module}} ({{PHaSM}}) for {{Extending FPGA Root-of-Trust Capabilities}}}, booktitle = {2021 {{IEEE Physical Assurance}} and {{Inspection}} of {{Electronics}} ({{PAINE}})}, @@ -3616,6 +5006,59 @@ file = {/home/jaseg/Sync/Research/Zotero/2021_Sozio et al_Patchable Hardware Security Module (PHaSM) for Extending FPGA Root-of-Trust.pdf;/home/jaseg/Zotero/storage/D5BLNRV7/9707698.html} } +@article{sproHighVoltageInsulationDesign2021, + title = {High-{{Voltage Insulation Design}} of {{Coreless}}, {{Planar PCB Transformers}} for {{Multi-MHz Power Supplies}}}, + author = {Spro, Ole Christian and Mauseth, Frank and Peftitsis, Dimosthenis}, + date = {2021-08}, + journaltitle = {IEEE Transactions on Power Electronics}, + volume = {36}, + number = {8}, + pages = {8658--8671}, + issn = {1941-0107}, + doi = {10.1109/TPEL.2021.3049353}, + url = {https://ieeexplore.ieee.org/document/9314282/?arnumber=9314282}, + urldate = {2024-10-30}, + abstract = {This article investigates the insulation design for printed, planar, coreless, and high-frequency transformers with high isolation-voltage. By using finite element analysis on 2-D axial-symmetry, the transformer circuit parameters and electric field distribution are modeled and estimated. Several transformers are designed for an operating frequency of 6.78 MHz. The high frequency, coreless design allows for using thicker insulation material while ensuring a high transformer efficiency. The inclusion of the coupling capacitance in the design optimization results in several design solutions with the same figure of merit, but with different footprint and isolation voltages. Moreover, high electric fields are identified around the sharp edges of the printed circuit board (PCB) windings. Finally, the electrical and isolation performance is verified experimentally. The measured electrical properties are close to the simulated values, validating the chosen model. Breakdown tests demonstrate the feasibility of isolation voltage levels up to several tens of kilovolts. The majority of breakdowns occurs at the outer edge of the PCB winding that was identified as a high-field area. Additionally, a concept for grading the electric field of PCB windings is also proposed. Based on the results, the design aspects are discussed in detail for planar, high-frequency isolation transformers with medium-voltage isolation level.}, + eventtitle = {{{IEEE Transactions}} on {{Power Electronics}}}, + keywords = {Capacitance,Couplings,Design methodology,dielectric breakdown,insulation,Insulation,Power supplies,Power transformer insulation,resonant power conversion,Transformer cores,transformers,Windings}, + file = {/home/jaseg/Sync/Research/Zotero/2021_Spro et al_High-Voltage Insulation Design of Coreless, Planar PCB Transformers for.pdf;/home/jaseg/Zotero/storage/I2H9EHKJ/9314282.html} +} + +@inproceedings{staatAntiTamperRadioSystemLevel2022, + title = {Anti-{{Tamper Radio}}: {{System-Level Tamper Detection}} for {{Computing Systems}}}, + shorttitle = {Anti-{{Tamper Radio}}}, + booktitle = {2022 {{IEEE Symposium}} on {{Security}} and {{Privacy}} ({{SP}})}, + author = {Staat, Paul and Tobisch, Johannes and Zenger, Christian and Paar, Christof}, + date = {2022-05}, + pages = {1722--1736}, + issn = {2375-1207}, + doi = {10.1109/SP46214.2022.9833631}, + url = {https://ieeexplore.ieee.org/document/9833631/}, + urldate = {2025-04-09}, + abstract = {A whole range of attacks becomes possible when adversaries gain physical access to computing systems that process or contain sensitive data. Examples include side-channel analysis, bus probing, device cloning, or implanting hardware Trojans. Defending against these kinds of attacks is considered a challenging endeavor, requiring anti-tamper solutions to monitor the physical environment of the system. Current solutions range from simple switches, which detect if a case is opened, to meshes of conducting material that provide more fine-grained detection of integrity violations. However, these solutions suffer from an intricate trade-off between physical security on the one side and reliability, cost, and difficulty to manufacture on the other.In this work, we demonstrate that radio wave propagation in an enclosed system of complex geometry is sensitive against adversarial physical manipulation. We present an anti-tamper radio (ATR) solution as a method for tamper detection, which combines high detection sensitivity and reliability with ease-of-use. ATR constantly monitors the wireless signal propagation behavior within the boundaries of a metal case. Tamper attempts such as insertion of foreign objects, will alter the observed radio signal response, subsequently raising an alarm.The ATR principle is applicable in many computing systems that require physical security such as servers, ATMs, and smart meters. As a case study, we use 19” servers and thoroughly investigate capabilities and limits of the ATR. Using a custom-built automated probing station, we simulate probing attacks by inserting needles with high precision into protected environments. Our experimental results show that our ATR implementation can detect 16mm insertions of needles of diameter as low as 0.1mm under ideal conditions. In the more realistic environment of a running 19” server, we demonstrate reliable detection of 40mm insertions of needles of diameter 1mm for a period of 10 days.}, + eventtitle = {2022 {{IEEE Symposium}} on {{Security}} and {{Privacy}} ({{SP}})}, + keywords = {Geometry,Needles,Robot sensing systems,Sensitivity,Servers,Wireless communication,Wireless sensor networks}, + file = {/home/jaseg/Sync/Research/Zotero/2022_Staat et al_Anti-Tamper Radio.pdf} +} + +@misc{stmicroelectronicsSTM32G474xBDatasheet2021, + title = {{{STM32G474xB}}/{{C}}/{{E Datasheet}}}, + author = {{ST Microelectronics}}, + date = {2021-11}, + annotation = {DS12288 Rev 6} +} + +@book{struttVerstarkerUndEmpfanger1951, + title = {Verstärker Und {{Empfänger}}}, + author = {Strutt, M. J. O.}, + date = {1951}, + series = {Lehrbuch Der {{Drahtlosen Nachrichtentechnik}}}, + edition = {2}, + volume = {4}, + publisher = {Springer-Verlag}, + keywords = {twisted-inductors} +} + @article{stuckiLongtermPerformanceSwissQuantum2011, title = {Long-Term Performance of the {{SwissQuantum}} Quantum Key Distribution Network in a Field Environment}, author = {Stucki, D and Legré, M and Buntschu, F and Clausen, B and Felber, N and Gisin, N and Henzen, L and Junod, P and Litzistorf, G and Monbaron, P and Monat, L and Page, J-B and Perroud, D and Ribordy, G and Rochas, A and Robyr, S and Tavares, J and Thew, R and Trinkler, P and Ventura, S and Voirol, R and Walenta, N and Zbinden, H}, @@ -3685,6 +5128,22 @@ file = {/home/jaseg/Zotero/storage/XURXLX9C/Takeoka et al. - 2014 - Fundamental rate-loss tradeoff for optical quantum.pdf} } +@incollection{TamperResistance2020, + title = {Tamper {{Resistance}}}, + booktitle = {Security {{Engineering}}}, + date = {2020}, + pages = {599--637}, + publisher = {John Wiley \& Sons, Ltd}, + doi = {10.1002/9781119644682.ch18}, + url = {https://onlinelibrary.wiley.com/doi/abs/10.1002/9781119644682.ch18}, + urldate = {2024-12-03}, + abstract = {The security engineer needs to understand what tamper resistance is, and what it can and can't do. In this chapter, the author takes the reader through the past thirty years of evolution of attack and defence. The banking community realised that commercial operating systems were likely to remain insufficient to protect PINs, particularly from bank insiders, and decided to use separate hardware to manage them. This led to the development of standalone cryptographic modules or hardware security modules (HSMs). The chapter provides a few comments about the evaluation of HSMs. Each of the product categories discussed in this chapter, from HSMs down through FPGAs to smartcards, has a wide range of offerings with wide variability in the quality of protection. The security engineer will therefore have to pay attention to the many failure modes of systems involving tamper-resistant processors that are more or less independent of the price or technical tamper-resistance of the device.}, + isbn = {978-1-119-64468-2}, + langid = {english}, + keywords = {banking community,FPGAs,hardware security modules,security engineer,smartcards,tamper resistance}, + file = {/home/jaseg/Sync/Research/Zotero/2020_Tamper Resistance.pdf;/home/jaseg/Zotero/storage/EMWJABZF/9781119644682.html} +} + @article{tangMeasurementDeviceIndependentQuantumKey2016, title = {Measurement-{{Device-Independent Quantum Key Distribution}} over {{Untrustful Metropolitan Network}}}, author = {Tang, Yan-Lin and Yin, Hua-Lei and Zhao, Qi and Liu, Hui and Sun, Xiang-Xiang and Huang, Ming-Qi and Zhang, Wei-Jun and Chen, Si-Jing and Zhang, Lu and You, Li-Xing and Wang, Zhen and Liu, Yang and Lu, Chao-Yang and Jiang, Xiao and Ma, Xiongfeng and Zhang, Qiang and Chen, Teng-Yun and Pan, Jian-Wei}, @@ -3702,12 +5161,114 @@ file = {/home/jaseg/Zotero/storage/L3WQWFRM/Tang et al. - 2016 - Measurement-Device-Independent Quantum Key Distrib.pdf} } +@inproceedings{tanImprovedParasiticCapacitance2012, + title = {An {{Improved Parasitic Capacitance Cancellation Method}} for {{Planar Differential Mode Inductor}} in {{EMI Filters}}}, + booktitle = {2012 7th {{International Conference}} on {{Integrated Power Electronics Systems}} ({{CIPS}})}, + author = {Tan, Wenhua and Margueron, Xavier and Duquesne, Thierry and Idir, Nadir}, + date = {2012-03}, + pages = {1--6}, + url = {https://ieeexplore.ieee.org/document/6170646/?arnumber=6170646}, + urldate = {2024-09-23}, + abstract = {Power semiconductor components with high switching speed are widely used in static converters. However, they produce conducted electromagnetic interferences in high frequencies. Filters are one solution for reducing the conducted emissions. However, the parasitic elements of the passive components in the EMI filter deteriorate its performances. In this paper, we propose to study a differential mode (DM) inductor in planar technology. The goal is to reduce the parasitic capacitance of the planar DM inductor via an improved parasitic capacitance cancellation technique. The technique is based on the results of an analytical method using Electric Field Decomposition and energy based approach. The cancellation is then realized through the structural parasitic capacitances under an optimal geometry configuration. The efficiency of the proposed cancellation technique is validated by measurements.}, + eventtitle = {2012 7th {{International Conference}} on {{Integrated Power Electronics Systems}} ({{CIPS}})}, + keywords = {Conductors,Delta modulation,Ferrites,Inductors,Parasitic capacitance,Windings}, + file = {/home/jaseg/Sync/Research/Zotero/2012_Tan et al_An Improved Parasitic Capacitance Cancellation Method for Planar Differential.pdf;/home/jaseg/Zotero/storage/A9A5D7YJ/6170646.html} +} + +@article{taoDesignPCBRogowski2016, + title = {Design of {{PCB Rogowski Coil}} and {{Analysis}} of {{Anti-interference Property}}}, + author = {Tao, Tao and Zhao, Zhihua and Ma, Weiming and Pan, Qijun and Hu, Anqi}, + date = {2016-04}, + journaltitle = {IEEE Transactions on Electromagnetic Compatibility}, + shortjournal = {IEEE Trans. Electromagn. Compat.}, + volume = {58}, + number = {2}, + pages = {344--355}, + issn = {0018-9375, 1558-187X}, + doi = {10.1109/TEMC.2013.2252906}, + url = {https://ieeexplore.ieee.org/document/7397992/}, + urldate = {2024-09-19} +} + +@report{tedeschiTimeDomainReflectometryTamper2014, + title = {Time-{{Domain Reflectometry}} for {{Tamper Indication}} in {{Unattended Monitoring Systems}} for {{Safeguards}}}, + author = {Tedeschi, Jonathan R. and Smith, Leon E. and Moore, David E. and Sheen, David M. and Conrad, Ryan C.}, + date = {2014-12-01}, + number = {PNNL--23893, 1167318}, + pages = {PNNL--23893, 1167318}, + doi = {10.2172/1167318}, + url = {http://www.osti.gov/servlets/purl/1167318/}, + urldate = {2025-04-11}, + langid = {english}, + file = {/home/jaseg/Zotero/storage/9ALCIPXB/Tedeschi et al. - 2014 - Time-Domain Reflectometry for Tamper Indication in.pdf} +} + +@book{tehranipoorHardwareSecurityPrimitives2023, + title = {Hardware {{Security Primitives}}}, + author = {Tehranipoor, Mark and Pundir, Nitin and Vashistha, Nidish and Farahmandi, Farimah}, + date = {2023}, + publisher = {Springer International Publishing}, + location = {Cham}, + doi = {10.1007/978-3-031-19185-5}, + url = {https://link.springer.com/10.1007/978-3-031-19185-5}, + urldate = {2025-04-04}, + isbn = {978-3-031-19184-8}, + langid = {english} +} + +@book{tehranipoorIntroductionHardwareSecurity2012, + title = {Introduction to {{Hardware Security}} and {{Trust}}}, + editor = {Tehranipoor, Mohammad and Wang, Cliff}, + date = {2012}, + publisher = {Springer New York}, + location = {New York, NY}, + doi = {10.1007/978-1-4419-8080-9}, + url = {https://link.springer.com/10.1007/978-1-4419-8080-9}, + urldate = {2024-12-13}, + isbn = {978-1-4419-8079-3}, + langid = {english}, + file = {/home/jaseg/Zotero/storage/QX3DYZC3/Tehranipoor and Wang - 2012 - Introduction to Hardware Security and Trust.pdf} +} + +@misc{tektronixinc.TektronixS6Sampling1982, + title = {Tektronix {{S-6 Sampling Head Instruction Manual}}}, + author = {{Tektronix Inc.}}, + date = {1982-09}, + url = {https://w140.com/tekwiki/images/2/22/070-1128-01_1987.pdf}, + urldate = {2025-04-08}, + file = {/home/jaseg/Zotero/storage/SXP7TBFQ/070-1128-01_1987.pdf} +} + @article{tobischPhysicalSystemsIntegrity, title = {Physical Systems for Integrity Protection and Authentication}, author = {Tobisch, Johannes}, langid = {english} } +@article{tobischPhysicalSystemsIntegritya, + title = {Physical Systems for Integrity Protection and Authentication}, + author = {Tobisch, Johannes}, + langid = {english}, + file = {/home/jaseg/Zotero/storage/TLI54XGI/Tobisch - Physical systems for integrity protection and auth.pdf} +} + +@article{trebbelsMiniaturizedFPGABasedHighResolution2013, + title = {Miniaturized {{FPGA-Based High-Resolution Time-Domain Reflectometer}}}, + author = {Trebbels, Dennis and Kern, Alois and Fellhauer, Felix and Huebner, Christof and Zengerle, Roland}, + date = {2013-07}, + journaltitle = {IEEE Transactions on Instrumentation and Measurement}, + volume = {62}, + number = {7}, + pages = {2101--2113}, + issn = {1557-9662}, + doi = {10.1109/TIM.2013.2245190}, + url = {https://ieeexplore.ieee.org/document/6484979}, + urldate = {2025-04-08}, + abstract = {Time-domain reflectometry (TDR) is a well-known measurement principle for evaluating frequency-dependent electric and dielectric properties of various materials and substances. Although TDR is a proven method, the high price for TDR measurement equipment and complex laboratory setups is often a limiting factor for cost-sensitive applications or large-scale field experiments, where a large number of TDR meters is required. This paper reports on the development of a new miniaturized low-cost TDR meter capable of sampling a repetitive rectangular waveform, which is used as an excitation signal. The developed sampling circuit is based on a digital delta modulator (DM) and allows for capturing the waveform of a repetitive measurement signal. A 1-MHz signal can be captured with a virtual sampling resolution of 1 ps within a measurement interval of 1 s. The generated pulses have a rise time of 2 ns and can be captured with an amplitude resolution of approximately 10 bit and an accuracy of approximately 8 bit. The developed digital DM architecture is implemented inside a small field programmable gate array and integrated into a miniaturized low-power TDR meter prototype for battery-powered outdoor applications. The captured measurement data are stored on integrated micro-SD card memory and can be read out either via a Universal Serial Bus, an RS-485 bus system, or a wireless interface. The TDR meter is controlled by an integrated microcontroller and a real-time clock and therefore can operate completely independent from any additional control setup. The TDR meter targets applications within the field of geoscience and agricultural monitoring, where large-scale measurement systems are required.}, + keywords = {Delta-modulation,Impedance,Power cables,Signal resolution,time-domain reflectometry (TDR),Time-frequency analysis,Transmission line measurements,undersampling}, + file = {/home/jaseg/Zotero/storage/ZCJLJ7JB/6484979.html} +} + @article{tyagiOrcaBlocklistingSenderAnonymous, title = {Orca: {{Blocklisting}} in {{Sender-Anonymous Messaging}}}, author = {Tyagi, Nirvan and Len, Julia and Miers, Ian and Ristenpart, Thomas}, @@ -3716,6 +5277,20 @@ file = {/home/jaseg/Sync/Research/Zotero/Tyagi et al_Orca.pdf} } +@report{usnationalinstituteofstandardsandtechnologySecurityRequirementsCryptographic2002, + title = {Security {{Requirements}} for {{Cryptographic Modules}}}, + author = {{(US) National Institute of Standards and Technology}}, + date = {2002-12-03}, + number = {Federal Information Processing Standard (FIPS) 140-2}, + institution = {U.S. Department of Commerce}, + doi = {10.6028/NIST.FIPS.140-2}, + url = {https://csrc.nist.gov/pubs/fips/140-2/upd2/final}, + urldate = {2025-04-08}, + abstract = {This Federal Information Processing Standard (140-2) specifies the security requirements that will be satisfied by a cryptographic module, providing four increasing, qualitative levels intended to cover a wide range of potential applications and environments. The areas covered, related to the secure design and implementation of a cryptographic module, include specification; ports and interfaces; roles, services, and authentication; finite state model; physical security; operational environment; cryptographic key management; electromagnetic interference/electromagnetic compatibility (EMI/EMC); self-tests; design assurance; and mitigation of other attacks.}, + langid = {english}, + file = {/home/jaseg/Sync/Research/Zotero/2002_Technology_Security Requirements for Cryptographic Modules.pdf} +} + @inproceedings{uzunCryptographicKeyDerivation2021, title = {Cryptographic {{Key Derivation}} from {{Biometric Inferences}} for {{Remote Authentication}}}, booktitle = {Proceedings of the 2021 {{ACM Asia Conference}} on {{Computer}} and {{Communications Security}}}, @@ -3732,6 +5307,20 @@ langid = {english} } +@inproceedings{vaiSecureArchitectureEmbedded2015, + title = {Secure Architecture for Embedded Systems}, + booktitle = {2015 {{IEEE High Performance Extreme Computing Conference}} ({{HPEC}})}, + author = {Vai, Michael and Nahill, Ben and Kramer, Josh and Geis, Michael and Utin, Dan and Whelihan, David and Khazan, Roger}, + date = {2015-09}, + pages = {1--5}, + doi = {10.1109/HPEC.2015.7322461}, + url = {https://ieeexplore.ieee.org/document/7322461/}, + urldate = {2025-04-09}, + abstract = {Devices connected to the internet are increasingly the targets of deliberate and sophisticated attacks [1]. Embedded system engineers tend to focus on well-defined functional capabilities rather than “obscure” security and resilience. However, “after-the-fact” system hardening could be prohibitively expensive or even impossible. The co-design of security and resilience with functionality has to overcome a major challenge; rarely can the security and resilience requirements be accurately identified when the design begins. This paper describes an embedded system architecture that decouples secure and functional design aspects.}, + eventtitle = {2015 {{IEEE High Performance Extreme Computing Conference}} ({{HPEC}})}, + keywords = {AES,Computer architecture,confidentiality,cryptography,embedded systems,Embedded systems,Encryption,Hardware,integrity,key management,PUF,security,security coprocessor,Suite B} +} + @inproceedings{vanstrydonckCHERITrEEFlexibleEnclaves2023, title = {{{CHERI-TrEE}}: {{Flexible}} Enclaves on Capability Machines}, shorttitle = {{{CHERI-TrEE}}}, @@ -3760,7 +5349,7 @@ urldate = {2024-07-25}, abstract = {Tamper detection circuits provide the first and most important defensive wall in protecting electronic modules containing security data. A widely used procedure is to cover the entire module with a foil containing fine conductive mesh, which detects intrusion attempts. Detection circuits are further classified as passive or active. Passive circuits have the advantage of low power consumption, however they are unable to detect small variations in the conductive mesh parameters. Since modern tools provide an upper leverage over the passive method, the most efficient way to protect security modules is thus to use active circuits. The active tamper detection circuits are typically probing the conductive mesh with short pulses, analyzing its response in terms of delay and shape. The method proposed in this paper generates short pulses at one end of the mesh and analyzes the response at the other end. Apart from measuring pulse delay, the analysis includes a frequency domain characterization of the system, determining whether there has been an intrusion or not, by comparing it to a reference (un-tampered with) spectrum. The novelty of this design is the combined analysis, in time and frequency domains, of the small variations in mesh characteristic parameters.}, eventtitle = {2017 40th {{International Spring Seminar}} on {{Electronics Technology}} ({{ISSE}})}, - keywords = {Clocks,Delays,Frequency-domain analysis,Mesh networks,Microcontrollers,Security,Shape}, + keywords = {Clocks,Delays,Frequency-domain analysis,Mesh networks,Microcontrollers,sampling-mesh,Security,Shape}, file = {/home/jaseg/Sync/Research/Zotero/2017_Vasile et al_Active tamper detection circuit based on the analysis of pulse response in2.pdf;/home/jaseg/Zotero/storage/CY2XYJWB/8000987.html} } @@ -3775,10 +5364,59 @@ urldate = {2024-07-25}, abstract = {The paper presents an improved method to detect tamper intrusions based on an active circuit. It is composed of a logical part, a microcontroller, capable of generating pulses that follow the rule of a linear-feedback shift register (LFSR), and an analogical part made of a mesh network, used to cover secure modules, and a pulse forming circuit. Pulses resulted from this forming circuit are analyzed by the microcontroller to determine the durations between pulses and the durations of pulses. The novelty of this method is that the pulses are generated synchronously at both ends of the mesh network in order to prevent any attempts of an attacker to break the wire of the mesh network and to simulate the generation of pulses.}, eventtitle = {2016 {{IEEE}} 22nd {{International Symposium}} for {{Design}} and {{Technology}} in {{Electronic Packaging}} ({{SIITME}})}, - keywords = {active,Copper,Delays,Generators,LFSR,mesh,Mesh networks,Microcontrollers,Pins,Resistance,security,tamper}, + keywords = {active,Copper,Delays,Generators,LFSR,mesh,Mesh networks,Microcontrollers,Pins,Resistance,sampling-mesh,security,tamper}, file = {/home/jaseg/Sync/Research/Zotero/2016_Vasile et al_Improved tamper detection circuit based on linear-feedback shift register.pdf;/home/jaseg/Zotero/storage/RRHPBYLR/7777261.html} } +@inproceedings{vasileProtectingSecretsAdvanced2019, + title = {Protecting the {{Secrets}}: {{Advanced Technique}} for {{Active Tamper Detection Systems}}}, + shorttitle = {Protecting the {{Secrets}}}, + author = {Vasile, Daniel-Ciprian and Svasta, Paul}, + date = {2019-10}, + pages = {212--215}, + issn = {2642-7036}, + doi = {10.1109/SIITME47687.2019.8990877}, + url = {https://ieeexplore.ieee.org/document/8990877/?arnumber=8990877}, + urldate = {2024-12-13}, + abstract = {Cryptographic modules and security circuits are the kernels of every piece of equipment that process security data. No matter where they are deployed, the equipment must be protected against physical attacks, as no one can access the electronic circuits that process the security data: firmware implementations, cryptographic keys and secret data. The most effective way to protect this kind of electronic circuits is to wrap them in a special conductive mesh and probe it with proper signals in order to detect intrusions. This paper provides a complete solution for intrusions detection: a system made of a special conductive mesh and an active tamper detection circuit. The conductive mesh consists of three layers that detect intrusions earlier than the effective penetration of the mesh. The active tamper detection circuit is designed to probe the mesh with signals that cannot be emulated by an adversary.}, + eventtitle = {2019 {{IEEE}} 25th {{International Symposium}} for {{Design}} and {{Technology}} in {{Electronic Packaging}} ({{SIITME}})}, + keywords = {anti-tamper,cryptography,mesh,security}, + file = {/home/jaseg/Sync/Research/Zotero/Vasile_Svasta_2019_Protecting the Secrets.pdf;/home/jaseg/Zotero/storage/TBDMU8PT/8990877.html} +} + +@inproceedings{vasileTemperatureSensitiveActive2017, + title = {Temperature Sensitive Active Tamper Detection Circuit}, + booktitle = {2017 {{IEEE}} 23rd {{International Symposium}} for {{Design}} and {{Technology}} in {{Electronic Packaging}} ({{SIITME}})}, + author = {Vasile, D. C. and Svasta, P. M.}, + date = {2017-10}, + pages = {175--178}, + doi = {10.1109/SIITME.2017.8259885}, + url = {https://ieeexplore.ieee.org/document/8259885/?arnumber=8259885}, + urldate = {2024-12-12}, + abstract = {Electronic modules designed for processing sensitive data, such as cryptographic modules, firmware solutions protected by intellectual property rights and secure communication devices, use special circuits designed for protecting these solutions from unauthorized physical access. The main components of these circuits are the conductive mesh structure, which acts as a protective cover, and the active tamper detection circuit. Besides the physical attacks, there are side channel attacks, where an attacker takes advantage of the errors produced by the logic circuits functioning in extreme conditions. When logic circuits are subject of temperatures that exceed the operational limits, they may run with faults and create proper conditions for cryptographic attacks. This paper proposes an active tamper detection circuit that analyses the temperature (and its variation gradient) of the conductive mesh. This method improves and complements the protection functions of the active tamper detection circuits.}, + eventtitle = {2017 {{IEEE}} 23rd {{International Symposium}} for {{Design}} and {{Technology}} in {{Electronic Packaging}} ({{SIITME}})}, + keywords = {active,Cryptography,Electronic circuits,Ports (Computers),Program processors,sampling-mesh,security,tamper,temperature,Temperature distribution,Temperature measurement,Temperature sensors}, + file = {/home/jaseg/Sync/Research/Zotero/Vasile_Svasta_2017_Temperature sensitive active tamper detection circuit.pdf;/home/jaseg/Zotero/storage/RDC8GN3K/8259885.html} +} + +@article{vidakovicHardwareBasedMethodsElectronic2023, + title = {Hardware-{{Based Methods}} for {{Electronic Device Protection}} against {{Invasive}} and {{Non-Invasive Attacks}}}, + author = {Vidaković, Marin and Vinko, Davor}, + date = {2023-11-02}, + journaltitle = {Electronics}, + shortjournal = {Electronics}, + volume = {12}, + number = {21}, + pages = {4507}, + issn = {2079-9292}, + doi = {10.3390/electronics12214507}, + url = {https://www.mdpi.com/2079-9292/12/21/4507}, + urldate = {2025-03-21}, + abstract = {This paper reviews hardware-based protection methods for electronic devices, encompassing scientific publications and published patents. This review covers insights from the scientific community and innovative solutions patented in the industry. By combining these two sources, this paper offers a comprehensive and holistic review of electronic device security. Electronic devices are integral to modern life, but their widespread use invites security threats, both digital and physical. This paper reviews hardware-based protection methods against invasive and non-invasive attacks, emphasizing the importance of a dual approach through hardware design. Invasive attacks involve physical tampering, and we explore anti-tampering techniques such as conductive meshes, sensors and physically unclonable functions (PUFs). Non-invasive, side-channel attacks encompass various attack vectors, focusing on electromagnetic analysis. To counter these attacks, we analyze techniques like reducing and masking electromagnetic radiation. This paper bridges the gap between invasive and non-invasive attack mitigation. It underscores the necessity of a multifaceted approach to safeguard electronic devices in an interconnected world, preserving their reliability and functionality.}, + langid = {english}, + file = {/home/jaseg/Sync/Research/Zotero/Vidaković_Vinko_2023_Hardware-Based Methods for Electronic Device Protection against Invasive and.pdf} +} + @inproceedings{voloshynovskiyInformationtheoreticAnalysisElectronic2006, title = {Information-Theoretic Analysis of Electronic and Printed Document Authentication}, author = {Voloshynovskiy, Sviatoslav and Koval, Oleksiy and Villan, Renato and Topak, Emre and Vila Forcén, José Emilio and Deguillaume, Frederic and Rytsar, Yuriy and Pun, Thierry}, @@ -3812,6 +5450,33 @@ file = {/home/jaseg/Zotero/storage/2HCQ4S6I/Vu et al. - 2020 - Design and Performance of Relay-Assisted Satellite.pdf} } +@patent{wadeMagneticStripeReader2015, + type = {patentus}, + title = {Magnetic Stripe Reader Tamper Protection}, + author = {Wade, Jeremy and Guise, Max Joseph}, + holder = {{Square Inc}}, + date = {2015-12-01}, + number = {9203546B1}, + url = {https://patents.google.com/patent/US9203546B1/en}, + urldate = {2025-04-04}, + keywords = {card,card reader,data,pseudo,signal}, + file = {/home/jaseg/Sync/Research/Zotero/2015_Wade_Guise_Magnetic stripe reader tamper protection.pdf} +} + +@patent{wadeTamperProtectionMesh2016, + type = {patentus}, + title = {Tamper Protection Mesh in an Electronic Device}, + author = {Wade, Jeremy and Templeton, Thomas and Weber, Trent and Lamfalusi, Michael}, + holder = {{Square Inc}}, + date = {2016-03-29}, + number = {9298956B2}, + url = {https://patents.google.com/patent/US9298956B2/en}, + urldate = {2025-04-04}, + langid = {english}, + keywords = {control signal,detector,electrical condition,electronic device,housing}, + file = {/home/jaseg/Sync/Research/Zotero/2016_Wade et al_Tamper protection mesh in an electronic device.pdf} +} + @thesis{wandelAttenuationSilicabasedOptical2006, title = {Attenuation in Silica-Based Optical Fibers}, author = {Wandel, Marie Emilie}, @@ -3873,6 +5538,23 @@ file = {/home/jaseg/Zotero/storage/KBKFVCHU/Wang and Liu - 2021 - Cascading attack on trusted-relay quantum key dist.pdf} } +@article{wangCoaxialNestedCouplersBased2020, + title = {Coaxial {{Nested Couplers-Based Offset-Tolerance Rotary Wireless Power Transfer Systems}} for {{Electric Excitation Motors}}}, + author = {Wang, Longyang and Li, Jiangui and Nie, Hui and Liu, Jincheng and Ke, Shaoxing}, + date = {2020}, + journaltitle = {IEEE Access}, + volume = {8}, + pages = {44913--44923}, + issn = {2169-3536}, + doi = {10.1109/ACCESS.2020.2978130}, + url = {https://ieeexplore.ieee.org/document/9022913/?arnumber=9022913}, + urldate = {2024-12-10}, + abstract = {In order to improve poor anti-offset capability of rotary transformer in electric excitation motor, a coaxial nested rotary wireless power transfer (CNR-WPT) system has been proposed in this paper. Firstly, considering the spatial geometric relationship of the coils and the power transmission efficiency of the CNR-WPT, the preliminary coil structure has been proposed. Secondly, through theoretical derivation, the specific relationship between the mutual inductance of the coils and the offset have been studied to verify the feasibility of the preliminary design. Thirdly, aiming at the problem that the CNR-WPT is susceptible to steel interference, the magnetic field has been optimized by adding ferrite and introducing a protective casing in this paper. Finally, an experimental platform for CNR-WPT system has been built. The experimental results verify that the power transmission efficiency of the CNR-WPT system can reach 90\% when the radial offset and axial offset are below 5 mm, and the angular offset is below 5°. The energy losses can be reduced by adding ferrite and protecting the casing. The CNR-WPT system thereof can also be applied to other rotary power transmission occasions.}, + eventtitle = {{{IEEE Access}}}, + keywords = {anti-offset capability,Brushless motors,coaxial nested rotary wireless power transfer system,Coils,Electric excitation motor,Induction motors,power transmission efficiency,Reluctance motors,Shafts,Wireless power transfer}, + file = {/home/jaseg/Sync/Research/Zotero/Wang et al_2020_Coaxial Nested Couplers-Based Offset-Tolerance Rotary Wireless Power Transfer.pdf;/home/jaseg/Zotero/storage/XK24S953/9022913.html} +} + @inproceedings{wangGhostTalkInteractiveAttack2022, title = {{{GhostTalk}}: {{Interactive Attack}} on {{Smartphone Voice System Through Power Line}}}, shorttitle = {{{GhostTalk}}}, @@ -3933,6 +5615,26 @@ file = {/home/jaseg/Zotero/storage/CMWK7SHH/Wang et al. - 2017 - Long-distance copropagation of quantum key distrib.pdf} } +@article{wangNovelRotatingWireless2024, + title = {A {{Novel Rotating Wireless Power Transfer System}} for {{Slipring}} with {{Redundancy Enhancement Characteristics}}}, + author = {Wang, Qiyue and Wang, De’an and Zhang, Jiantao}, + date = {2024-01}, + journaltitle = {Sustainability}, + volume = {16}, + number = {13}, + pages = {5628}, + publisher = {Multidisciplinary Digital Publishing Institute}, + issn = {2071-1050}, + doi = {10.3390/su16135628}, + url = {https://www.mdpi.com/2071-1050/16/13/5628}, + urldate = {2024-12-10}, + abstract = {This study investigates the dynamics of wireless power supply technology under rotation and its system redundancy, aiming to design a redundant, rotating wireless power supply system. In order to satisfy specifications of redundancy and fault tolerance, the circuit design of the wireless power transmission system was developed, and a planar three-sector coil coupling mechanism was designed; finally, the stability and power output characteristics of the system were assessed under static and dynamic working conditions, and the results show that the maximum output power of the system can reach 3 kW and the efficiency is more than 91\% under both static and dynamic working conditions. The study improved the rotating wireless charging system’s efficiency, which improves the energy utilization efficiency.}, + issue = {13}, + langid = {english}, + keywords = {multi-coil coupling mechanism,rotating equipment,wireless power supply}, + file = {/home/jaseg/Sync/Research/Zotero/Wang et al_2024_A Novel Rotating Wireless Power Transfer System for Slipring with Redundancy.pdf} +} + @article{wangTopologicalOptimizationHybrid2020, title = {Topological Optimization of Hybrid Quantum Key Distribution Networks}, author = {Wang, Yaxing and Li, Qiong and Mao, Haokun and Han, Qi and Huang, Furong and Xu, Hongwei}, @@ -3987,6 +5689,20 @@ file = {/home/jaseg/Sync/Research/Zotero/2019_Weichselbraun_Of Broken Seals and Broken Promises.pdf} } +@patent{wernerFabricatingTamperrespondentSensors2024, + type = {patentus}, + title = {Fabricating Tamper-Respondent Sensors with Random Three-Dimensional Security Patterns}, + author = {Werner, John S. and Wertz, Jason T. and Torok, John and Singer, Noah and Tsfasman, Arkadiy O. and Notohardjono, Budy}, + holder = {{International Business Machines Corp}}, + date = {2024-01-16}, + number = {11877390B2}, + url = {https://patents.google.com/patent/US11877390B2/en}, + urldate = {2025-04-04}, + langid = {english}, + keywords = {security,sensor,tamper,trace,volume}, + file = {/home/jaseg/Sync/Research/Zotero/2024_Werner et al_Fabricating tamper-respondent sensors with random three-dimensional security.pdf} +} + @inproceedings{wernerTransparentMemoryEncryption2017, title = {Transparent Memory Encryption and Authentication}, booktitle = {2017 27th {{International Conference}} on {{Field Programmable Logic}} and {{Applications}} ({{FPL}})}, @@ -4005,6 +5721,62 @@ file = {/home/jaseg/Zotero/storage/2D23R8P8/Werner et al. - 2017 - Transparent memory encryption and authentication.pdf} } +@patent{wesselhoffTamperResponsiveSensor2018, + type = {patentus}, + title = {Tamper Responsive Sensor}, + author = {Wesselhoff, Erling}, + holder = {{Cryptera AS}}, + date = {2018-09-18}, + number = {10078764B2}, + url = {https://patents.google.com/patent/US10078764B2/en}, + urldate = {2025-04-04}, + langid = {english}, + keywords = {circuitry,line,mesh,tamper,track}, + file = {/home/jaseg/Sync/Research/Zotero/2018_Wesselhoff_Tamper responsive sensor.pdf} +} + +@patent{wesselhoffTamperResponsiveSensor2020, + type = {patentus}, + title = {Tamper Responsive Sensor}, + author = {Wesselhoff, Erling}, + holder = {{Cryptera AS}}, + date = {2020-06-09}, + number = {10678957B2}, + url = {https://patents.google.com/patent/US10678957B2/en}, + urldate = {2025-04-04}, + langid = {english}, + keywords = {detecting circuitry,line,mesh,tamper,track}, + file = {/home/jaseg/Sync/Research/Zotero/2020_Wesselhoff_Tamper responsive sensor.pdf} +} + +@article{wheelerTransmissionLinePropertiesParallel1965, + title = {Transmission-{{Line Properties}} of {{Parallel Strips Separated}} by a {{Dielectric Sheet}}}, + author = {Wheeler, H.A.}, + date = {1965-03}, + journaltitle = {IEEE Transactions on Microwave Theory and Techniques}, + volume = {13}, + number = {2}, + pages = {172--185}, + issn = {1557-9670}, + doi = {10.1109/TMTT.1965.1125962}, + url = {https://ieeexplore.ieee.org/document/1125962/?arnumber=1125962}, + urldate = {2025-04-02}, + abstract = {A transmission line is made of a symmetrical pair of strip conductors, or a single strip and a ground plane, on opposite faces of a sheet of dielectric material. There is computed, to a close approximation, the relations among the dielectric constant of the sheet, the effective dielectric constant of the sheet and the empty space, the shape ratio, and the wave resistance, for the entire range of possible values. These relations are summarized in a graphical chart covering the range of practical interest. The computation is based on conformal mapping of the dielectric boundary on coordinates such that its effect can be most closely evaluated by simple principles. All relations are approximated in terms of ordinary functions (exponential and hyperbolic). Of particular interest is the effective filling fraction of the dielectric material, which depends mainly on the shape ratio and only slightly on the dielectric constant. Explicit formulas are given for analysis or synthesis.}, + eventtitle = {{{IEEE Transactions}} on {{Microwave Theory}} and {{Techniques}}}, + keywords = {Conducting materials,Conformal mapping,Dielectric constant,Dielectric materials,Filling,Shape,Sheet materials,Strips,Transmission line theory,Transmission lines}, + file = {/home/jaseg/Sync/Research/Zotero/1965_Wheeler_Transmission-Line Properties of Parallel Strips Separated by a Dielectric Sheet.pdf;/home/jaseg/Zotero/storage/J6YQL49I/1125962.html} +} + +@book{wiggeRundfunktechnischesHandbuch1930, + title = {Rundfunktechnisches {{Handbuch}}}, + author = {Wigge, Heinrich}, + date = {1930}, + edition = {2}, + volume = {1}, + publisher = {Verlag von M. Krayn}, + keywords = {twisted-inductors} +} + @article{wuGenericServeraidedSecure2022, title = {Generic Server-Aided Secure Multi-Party Computation in Cloud Computing}, author = {Wu, Yulin and Wang, Xuan and Susilo, Willy and Yang, Guomin and Jiang, Zoe L. and Yiu, Siu-Ming and Wang, Hao}, @@ -4039,6 +5811,23 @@ file = {/home/jaseg/Zotero/storage/DNUS4DNE/Xiao et al. - 2024 - From Hardware Fingerprint to Access Token Enhanci.pdf} } +@article{xiaRotaryWirelessPower2024, + title = {A {{Rotary Wireless Power Transfer System With Rail-Type Coupling Structure}}}, + author = {Xia, Kun and Zhu, Benjing and Lou, Yang and Huang, Daming}, + date = {2024}, + journaltitle = {IEEE Access}, + volume = {12}, + pages = {63967--63975}, + issn = {2169-3536}, + doi = {10.1109/ACCESS.2024.3393943}, + url = {https://ieeexplore.ieee.org/document/10508729/?arnumber=10508729&tag=1}, + urldate = {2024-12-10}, + abstract = {Traditional power supply methods for rotating mechanisms are found to face problems, including complex structures, limited functionality, and potential safety hazards. To address these problems, a rotary wireless power transfer system with new rail-type coupling structure (RTR-WPT) is proposed in this paper. This system, characterized by safety, reliability, and flexible installation, is designed to provide power to devices mounted on rotating shafts. Firstly, the topological structure of the RTR-WPT system is introduced, and the corresponding circuit model is established. Secondly, MAXWELL is utilized for finite element analysis to design and optimize the rail-type rotary coupler. Finally, an experimental platform for the RTR-WPT system is built and tested. From the experimental results, it is validated that the new rail-type coupler and the design methodology are feasible, and the system can achieve a power transmission of 10.33W with an overall efficiency of 72.1\% under rotating conditions.}, + eventtitle = {{{IEEE Access}}}, + keywords = {Coils,Couplers,Couplings,finite element analysis,Finite element analysis,Power supplies,rail-type coupling structure,Reliability,Rotating mechanism,Topology,wireless power transfer,Wireless power transfer}, + file = {/home/jaseg/Sync/Research/Zotero/Xia et al_2024_A Rotary Wireless Power Transfer System With Rail-Type Coupling Structure.pdf;/home/jaseg/Zotero/storage/SVKEQEZL/10508729.html} +} + @article{xuMeasurementdeviceindependentQuantumCryptography2015, title = {Measurement-Device-Independent Quantum Cryptography}, author = {Xu, Feihu and Curty, Marcos and Qi, Bing and Lo, Hoi-Kwong}, @@ -4108,6 +5897,24 @@ urldate = {2024-07-25} } +@article{yanFreeRotationWirelessPower2023, + title = {Free-{{Rotation Wireless Power Transfer System Based}} on {{Composite Anti-Misalignment Method}} for {{AUVs}}}, + author = {Yan, Zhengchao and Wu, Min and Zhao, Chenxu and Hu, Qianyu and Zhu, Lei and Qiao, Lin and Wang, Laili}, + date = {2023-04}, + journaltitle = {IEEE Transactions on Power Electronics}, + volume = {38}, + number = {4}, + pages = {4262--4266}, + issn = {1941-0107}, + doi = {10.1109/TPEL.2023.3238066}, + url = {https://ieeexplore.ieee.org/document/10021879/?arnumber=10021879}, + urldate = {2024-12-10}, + abstract = {In the underwater environment, the ocean current will have a great influence on the anti-misalignment performance of the wireless power transfer (WPT) system for the autonomous underwater vehicles (AUVs). In this letter, a free-rotation WPT system with a new magnetic coupler for AUVs is proposed to improve the rotational and axial misalignment tolerance. The magnetic coupler has two decoupled transmitters and one segmented arc solenoid receiver with reversely wound adjacent receiver coils. The mutual inductances between the receiver and the two transmitters can compensate each other. Moreover, cooperated with the phase control between the two transmitters, the system can achieve more stable output power under the rotational and axial misalignment. A free-rotation WPT prototype was set up and the experimental results showed that the output power can reach 700 W and the output power fluctuation is below 5\% based on the proposed anti-misalignment method.}, + eventtitle = {{{IEEE Transactions}} on {{Power Electronics}}}, + keywords = {Anti-misalignment,autonomous underwater vehicle (AUV),Couplers,Ferrites,Fluctuations,free-rotation,Magnetic resonance,Power generation,Receivers,Transmitters,wireless power transfer (WPT)}, + file = {/home/jaseg/Sync/Research/Zotero/Yan et al_2023_Free-Rotation Wireless Power Transfer System Based on Composite.pdf;/home/jaseg/Zotero/storage/KL3X7E4B/10021879.html} +} + @article{yangFPGABasedLDPCDecoder2021, title = {An {{FPGA-Based LDPC Decoder With Ultra-Long Codes}} for {{Continuous-Variable Quantum Key Distribution}}}, author = {Yang, Shen-Shen and Liu, Jian-Qiang and Lu, Zhen-Guo and Bai, Zeng-Liang and Wang, Xu-Yang and Li, Yong-Min}, @@ -4193,6 +6000,24 @@ file = {/home/jaseg/Sync/Research/Zotero/2018_Zeppelzauer et al_SoniControl - A Mobile Ultrasonic Firewall.pdf} } +@article{zhangBallJointWirelessPower2018, + title = {Ball-{{Joint Wireless Power Transfer Systems}}}, + author = {Zhang, Cheng and Lin, Deyan and Hui, S. Y. Ron}, + date = {2018-01}, + journaltitle = {IEEE Transactions on Power Electronics}, + volume = {33}, + number = {1}, + pages = {65--72}, + issn = {1941-0107}, + doi = {10.1109/TPEL.2017.2700898}, + url = {https://ieeexplore.ieee.org/document/7918527/?arnumber=7918527}, + urldate = {2024-12-10}, + abstract = {A new wireless power transfer (WPT) system based on ball-joint structure is presented in this paper. A ball-joint WPT system consists of a ball structure with a mechanical rod attached to the ball and a ball socket that accommodates the ball structure. This ball-joint structure comprises at least one winding in the ball structure and at least one winding in the ball socket structure. The ball structure can be flexibly rotated over a wide range of angle inside the ball socket, while wireless power can still be transferred from the transmitter winding to the receiver winding through magnetic resonance. The magnetic coupling coefficient between the transmitter and receiver coil over a wide rotating angular range has been analyzed and experimentally checked. Experimental results confirm that an energy efficiency of up to 81\% can be achieved.}, + eventtitle = {{{IEEE Transactions}} on {{Power Electronics}}}, + keywords = {Ball-joint structure,Inductance,magnetic resonance,Magnetic resonance,Receivers,Sockets,Transmitters,Windings,Wireless power transfer,wireless power transfer (WPT)}, + file = {/home/jaseg/Sync/Research/Zotero/Zhang et al_2018_Ball-Joint Wireless Power Transfer Systems.pdf;/home/jaseg/Zotero/storage/C376LBE8/7918527.html} +} + @inproceedings{zhangDolphinAttackInaudibleVoice2017, title = {{{DolphinAttack}}: {{Inaudible Voice Commands}}}, shorttitle = {{{DolphinAttack}}}, @@ -4212,6 +6037,60 @@ file = {/home/jaseg/Zotero/storage/SXDU6E5J/Zhang et al. - 2017 - DolphinAttack Inaudible Voice Commands.pdf} } +@article{zhangDynamicWirelessPower2025, + title = {A {{Dynamic Wireless Power Transfer System Using DC-Controlled Variable Inductor}} for {{Segment Transmitter Automatic Switching}}}, + author = {Zhang, Zeheng and Li, Zheng and Zhang, Xiaojun and Yang, Bin and He, Zhengyou and Mai, Ruikun and Chen, Yang}, + date = {2025-01}, + journaltitle = {IEEE Transactions on Power Electronics}, + volume = {40}, + number = {1}, + pages = {23--27}, + issn = {1941-0107}, + doi = {10.1109/TPEL.2024.3426100}, + url = {https://ieeexplore.ieee.org/document/10592813/?arnumber=10592813}, + urldate = {2024-12-11}, + abstract = {Segmented transmitter coils are commonly employed in dynamic wireless power transfer, and automatic switching is a preferred function to limit the transmitter current. This letter proposes a method for segment transmitter automatic switching utilizing a dc-controlled variable inductor (DCCVI), where the dc current can change the ac side's self-inductance. When the coils are decoupled, the dc current is small, so the inductance of the DCCVI is relatively large, leading to the suppression of the transmitter current. When the coils meet certain coupling conditions, the dc current becomes large, leading to a significant reduction in the ac inductance of the DCCVI, resulting in higher transmission power, thereby enabling segment transmitter automatic switching. The proposed method is straightforward and does not need additional position feedback. The experimental results demonstrate that the proposed system can automatically limit the coil current within the range of [0, 0.15] and achieve higher power transmission with higher efficiency within the coupling range of [0.165, 0.3].}, + eventtitle = {{{IEEE Transactions}} on {{Power Electronics}}}, + keywords = {Automatic switching,Coils,Couplings,dynamic wireless power transfer (DWPT),Inductance,Inductors,Receivers,Switches,Transmitters,variable inductor}, + file = {/home/jaseg/Sync/Research/Zotero/2025_Zhang et al_A Dynamic Wireless Power Transfer System Using DC-Controlled Variable Inductor.pdf;/home/jaseg/Zotero/storage/6G27HTPY/10592813.html} +} + +@article{zhangEnergyEncryptionWireless2015, + title = {Energy {{Encryption}} for {{Wireless Power Transfer}}}, + author = {Zhang, Zhen and Chau, K. T. and Qiu, Chun and Liu, Chunhua}, + date = {2015-09}, + journaltitle = {IEEE Transactions on Power Electronics}, + volume = {30}, + number = {9}, + pages = {5237--5246}, + issn = {1941-0107}, + doi = {10.1109/TPEL.2014.2363686}, + url = {https://ieeexplore.ieee.org/document/6928497/?arnumber=6928497}, + urldate = {2024-11-07}, + abstract = {This paper presents a novel energy encryption strategy for wireless power transfer (WPT) systems, which can effectively improve the security performance of wirelessly transferred energy. In a WPT system, energy is expected to transfer to specific receptors as well as to switch off other unauthorized energy transmission channels, so the security of energy transmission is an important issue. In the proposed secure WPT system, the energy is encrypted by chaotically regulating the frequency of the power source. Then, the authorized receptor can receive the energy by simultaneously adjusting the circuit to decrypt the encrypted energy based on the security key obtained from the power supply, while the unauthorized receptor cannot receive the energy without knowledge of the security key. Hence, a secure energy transmission channel is established to effectively prevent unauthorized receptors from stealing the energy. In this paper, both simulation and experimental results are provided to verify the validity of the proposed encrypted WPT system.}, + eventtitle = {{{IEEE Transactions}} on {{Power Electronics}}}, + keywords = {Capacitors,Chaos,Coils,Contactless charging,Couplings,Encryption,energy encryption,magnetic resonant coupling (MRC),security,Wireless communication,wireless power transmission (WPT)}, + file = {/home/jaseg/Sync/Research/Zotero/Zhang et al_2015_Energy Encryption for Wireless Power Transfer.pdf;/home/jaseg/Zotero/storage/AYSH2G8F/6928497.html} +} + +@article{zhangImprovedCompensationMethod2025, + title = {An {{Improved Compensation Method Reducing Displacement Current Loss}} for {{Multilayer Coils}} in {{IPT System}}}, + author = {Zhang, Yiming and Cheng, Hao and Chen, Yang and Luo, Bo and Zhou, Wei and Mai, Ruikun and He, Zhengyou}, + date = {2025-01}, + journaltitle = {IEEE Transactions on Power Electronics}, + volume = {40}, + number = {1}, + pages = {87--91}, + issn = {1941-0107}, + doi = {10.1109/TPEL.2024.3462669}, + url = {https://ieeexplore.ieee.org/document/10681322/?arnumber=10681322}, + urldate = {2024-12-11}, + abstract = {Dual-layer or multilayer coils are often used to increase the power density of inductive power transfer systems. However, compared to single-layer coils, multilayer coils suffer from additional loss caused by interlayer displacement current (IDC), which can reduce system transmission efficiency. Therefore, this letter establishes a general mathematical model for IDC loss in multilayer coils regardless of whether the adjacent layers are symmetric. The traditional centralized compensation capacitor is split into two capacitors (interlayer and auxiliary capacitors), and a novel parameteric design method for the interlayer capacitor is proposed to optimize the IDC losses. The auxiliary capacitor is used to adjust the resonance state of the circuit. The experimental results show that compared to the traditional method, the prototype with the double-layer symmetrical coil achieves efficiency improvements of 0.5\% under light load and 2.27\% under heavy load. The double-layer asymmetrical coil prototype achieves efficiency improvements of 0.58\% under light load and 2.11\% under heavy load compared to the traditional method.}, + eventtitle = {{{IEEE Transactions}} on {{Power Electronics}}}, + keywords = {Capacitors,Coils,Dielectrics,Inductance,Inductive power transfer (IPT),interlayer displacement current (IDC) loss,multilayer coil,Nonhomogeneous media,Resistance,Wire}, + file = {/home/jaseg/Sync/Research/Zotero/2025_Zhang et al_An Improved Compensation Method Reducing Displacement Current Loss for.pdf;/home/jaseg/Zotero/storage/Y3LF7826/10681322.html} +} + @article{zhangLargeScaleQuantum2018, title = {Large Scale Quantum Key Distribution: Challenges and Solutions [{{Invited}}]}, shorttitle = {Large Scale Quantum Key Distribution}, @@ -4248,6 +6127,87 @@ file = {/home/jaseg/Sync/Research/Zotero/2007_Zhang et al_Performance Enhancement of a Sub-Sampling Circuit for Ultra-Wideband Signal.pdf;/home/jaseg/Zotero/storage/62VKLVBN/4385758.html} } +@inproceedings{zhangRobustCounterfeitPCB2015, + title = {Robust Counterfeit {{PCB}} Detection Exploiting Intrinsic Trace Impedance Variations}, + booktitle = {2015 {{IEEE}} 33rd {{VLSI Test Symposium}} ({{VTS}})}, + author = {Zhang, Fengchao and Hennessy, Andrew and Bhunia, Swarup}, + date = {2015-04}, + pages = {1--6}, + issn = {2375-1053}, + doi = {10.1109/VTS.2015.7116294}, + url = {https://ieeexplore.ieee.org/document/7116294/?arnumber=7116294}, + urldate = {2024-10-04}, + abstract = {The long and distributed supply chain of printed circuit boards (PCBs) makes them vulnerable to different forms of counterfeiting attacks. Existing chip-level integrity validation approaches cannot be readily extended to PCB. In this paper, we address this issue with a novel PCB authentication approach that creates robust, unique signatures from a PCB based on process-induced variations in its trace impedances. The approach comes at virtually zero design and hardware overhead and can be applied to legacy PCBs. Experiments with two sets of commercial PCBs as well as a set of custom designed PCBs show that the proposed approach can obtain unique authentication signature with inter-PCB hamming distance of 47.94\% or higher.}, + eventtitle = {2015 {{IEEE}} 33rd {{VLSI Test Symposium}} ({{VTS}})}, + keywords = {Authentication,Copper,Counterfeiting,Electrical resistance measurement,High definition video,Impedance,Impedance measurement,Piracy,Printed Circuit Board (PCB),Probes,PUF,Trust}, + file = {/home/jaseg/Sync/Research/Zotero/Zhang et al_2015_Robust counterfeit PCB detection exploiting intrinsic trace impedance variations.pdf;/home/jaseg/Zotero/storage/GS9H6QT9/7116294.html} +} + +@inproceedings{zhangRobustCounterfeitPCB2015a, + title = {Robust Counterfeit {{PCB}} Detection Exploiting Intrinsic Trace Impedance Variations}, + booktitle = {2015 {{IEEE}} 33rd {{VLSI Test Symposium}} ({{VTS}})}, + author = {Zhang, Fengchao and Hennessy, Andrew and Bhunia, Swarup}, + date = {2015-04}, + pages = {1--6}, + issn = {2375-1053}, + doi = {10.1109/VTS.2015.7116294}, + url = {https://ieeexplore.ieee.org/document/7116294/?arnumber=7116294}, + urldate = {2024-10-31}, + abstract = {The long and distributed supply chain of printed circuit boards (PCBs) makes them vulnerable to different forms of counterfeiting attacks. Existing chip-level integrity validation approaches cannot be readily extended to PCB. In this paper, we address this issue with a novel PCB authentication approach that creates robust, unique signatures from a PCB based on process-induced variations in its trace impedances. The approach comes at virtually zero design and hardware overhead and can be applied to legacy PCBs. Experiments with two sets of commercial PCBs as well as a set of custom designed PCBs show that the proposed approach can obtain unique authentication signature with inter-PCB hamming distance of 47.94\% or higher.}, + eventtitle = {2015 {{IEEE}} 33rd {{VLSI Test Symposium}} ({{VTS}})}, + keywords = {Authentication,Copper,Counterfeiting,Electrical resistance measurement,High definition video,Impedance,Impedance measurement,Piracy,Printed Circuit Board (PCB),Probes,PUF,Trust}, + file = {/home/jaseg/Sync/Research/Zotero/Zhang et al_2015_Robust counterfeit PCB detection exploiting intrinsic trace impedance variations2.pdf;/home/jaseg/Zotero/storage/9M243M47/7116294.html} +} + +@article{zhangWirelessPowerTransfer2019, + title = {Wireless {{Power Transfer}}—{{An Overview}}}, + author = {Zhang, Zhen and Pang, Hongliang and Georgiadis, Apostolos and Cecati, Carlo}, + date = {2019-02}, + journaltitle = {IEEE Transactions on Industrial Electronics}, + volume = {66}, + number = {2}, + pages = {1044--1058}, + issn = {1557-9948}, + doi = {10.1109/TIE.2018.2835378}, + url = {https://ieeexplore.ieee.org/document/8357386/?arnumber=8357386}, + urldate = {2024-11-07}, + abstract = {Due to limitations of low power density, high cost, heavy weight, etc., the development and application of battery-powered devices are facing with unprecedented technical challenges. As a novel pattern of energization, the wireless power transfer (WPT) offers a band new way to the energy acquisition for electric-driven devices, thus alleviating the over-dependence on the battery. This paper presents an overview of WPT techniques with emphasis on working mechanisms, technical challenges, metamaterials, and classical applications. Focusing on WPT systems, this paper elaborates on current major research topics and discusses about future development trends. This novel energy transmission mechanism shows significant meanings on the pervasive application of renewable energies in our daily life.}, + eventtitle = {{{IEEE Transactions}} on {{Industrial Electronics}}}, + keywords = {Batteries,Capacitive coupled power transfer (CCPT),contactless charging,Couplings,dynamic charging,Electromagnetic interference,Impedance,inductive power transfer (IPT),Integrated circuit modeling,Load modeling,overview,Wireless power transfer,wireless power transfer (WPT)}, + file = {/home/jaseg/Sync/Research/Zotero/Zhang et al_2019_Wireless Power Transfer—An Overview.pdf;/home/jaseg/Zotero/storage/MHMC3VK4/8357386.html} +} + +@article{zhangWirelessSensorPower2024, + title = {Wireless {{Sensor Power Supply}} for {{Rotating Shaft Using DC-Side Diode Array With Stable Output}}}, + author = {Zhang, Zeheng and Cheng, Hao and Li, Zheng and Chen, Fuao and Chen, Yang and He, Zhengyou and Mai, Ruikun}, + date = {2024-12}, + journaltitle = {IEEE Transactions on Power Electronics}, + volume = {39}, + number = {12}, + pages = {15414--15419}, + issn = {1941-0107}, + doi = {10.1109/TPEL.2024.3439718}, + url = {https://ieeexplore.ieee.org/document/10629183/?arnumber=10629183}, + urldate = {2024-12-11}, + abstract = {24 × 7 health monitoring of rotating shaft is very important for the safe operation of automotive axles. Wireless sensor power supply technology is one of the promising power supply means for monitoring systems. Since the radius of many rotation shafts is large up to 1 m, segmented coils are adopted to reduce the magnetic interference and power loss compared to single receiver coils, but this will lead to output voltage fluctuation causing the monitoring system failures. This letter proposes a fluctuation suppression method by a dc-side diode array and parameter optimization. Using multiple reverse parallel diode groups to connect the dc side of multiple receivers and the load, the diodes will be conducted when corresponding coils are activated, while those without induced voltage will not be conducted. In this way, the mutual inductance fluctuation as per different rotation angles can be greatly reduced. In addition, a detuned system has been designed, rendering the output gain insensitive to variations in mutual inductance, thereby enhancing the output stability. A prototype was built to verify the theoretical analysis. The experimental results indicate that the output voltage fluctuation is only 5.0\%. The proposed method can achieve significant output stability without complex control and dedicated coil design.}, + eventtitle = {{{IEEE Transactions}} on {{Power Electronics}}}, + keywords = {Coils,Diode array,Diodes,Fluctuations,Inductance,Power supplies,Receivers,Rectifiers,Shafts,stable output,Transmitters,Wireless sensor networks,wireless sensor power supply (WSPS)}, + file = {/home/jaseg/Sync/Research/Zotero/2024_Zhang et al_Wireless Sensor Power Supply for Rotating Shaft Using DC-Side Diode Array With.pdf;/home/jaseg/Zotero/storage/BK6YYH4R/10629183.html} +} + +@online{zhaoDesignOptimizationLitzWire2023, + title = {Design and {{Optimization}} of {{Litz-Wire Planar Spiral Coil}} for {{Inductive Power Transfer Application}}}, + author = {Zhao, Weihao and Peng, Yingzhou and Zhan, Shen and Wang, Huai}, + date = {2023-04-07}, + doi = {10.36227/techrxiv.22491235.v1}, + url = {https://www.techrxiv.org/doi/full/10.36227/techrxiv.22491235.v1}, + urldate = {2024-10-30}, + abstract = {Litz wire planar spiral coils are widely used in inductive power transfer systems due to low power loss in high-frequency operation and low profile. However, the complicated structure of the litz wire coil imposes difficulties in estimating the frequency-dependent resistance and quality factor accurately. In this work, we present an 2D analytical model for calculating the frequency-dependent resistance and quality factor of multi-coil inductive power transfer systems based on superposition of different loss effects. Its accuracy is validated with multiple coils and litz wires over wide frequency range. Meanwhile, a fast and accurate multi-objective optimization method is developed to improve the product quality factor and coupling factor. From the optimization results, there are five factors affecting the quality factor and coupling factor. A set of design guidelines is proposed to cope with these design factors. The final prototypes show 33\textbackslash\% increase in quality factor and 23\textbackslash\% improvement in coupling factor compared with the state-of-the-art designs. Meanwhile, a 30W, 500kHz inductive power transfer system is designed with 91\textbackslash\% peak efficiency.}, + langid = {english}, + pubstate = {prepublished}, + file = {/home/jaseg/Zotero/storage/ZAQTS252/Zhao et al. - 2023 - Design and Optimization of Litz-Wire Planar Spiral.pdf} +} + @inproceedings{zhouPPMLACHighPerformance2022, title = {{{PPMLAC}}: High Performance Chipset Architecture for Secure Multi-Party Computation}, shorttitle = {{{PPMLAC}}}, @@ -4282,3 +6242,30 @@ langid = {english}, file = {/home/jaseg/Zotero/storage/VQFNGMWQ/Zhou et al. - 2024 - PrintListener Uncovering the Vulnerability of Fin.pdf} } + +@article{zhuPDNPulseSensingPCB2023, + title = {{{PDNPulse}}: {{Sensing PCB Anomaly With}} the {{Intrinsic Power Delivery Network}}}, + shorttitle = {{{PDNPulse}}}, + author = {Zhu, Huifeng and Shan, Haoqi and Sullivan, Dean and Guo, Xiaolong and Jin, Yier and Zhang, Xuan}, + date = {2023}, + journaltitle = {IEEE Transactions on Information Forensics and Security}, + volume = {18}, + pages = {3590--3605}, + issn = {1556-6021}, + doi = {10.1109/TIFS.2023.3285490}, + url = {https://ieeexplore.ieee.org/document/10153638/}, + urldate = {2025-04-09}, + abstract = {The ubiquitous presence of printed circuit boards (PCBs) in modern electronic systems and embedded devices makes their integrity a top security concern. To take advantage of the economies of scale, today’s PCB design and manufacturing are often performed by suppliers around the globe, exposing them to many security vulnerabilities along the segmented PCB supply chain. Moreover, the increasing complexity of the PCB designs also leaves ample room for numerous sneaky board-level attacks to be implemented throughout each stage of a PCB’s lifetime, threatening many electronic devices. In this paper, we propose PDNPulse, a power delivery network (PDN) based PCB anomaly detection framework that can identify a wide spectrum of board-level malicious modifications. PDNPulse leverages the fact that the PDN’s characteristics are inevitably affected by modifications to the PCB. By detecting changes to the PDN impedance profile against the golden model and using the Frechet distance-based anomaly detection algorithms, PDNPulse can robustly and successfully discern malicious modifications across the system. Using PDNPulse, we conduct extensive experiments on seven commercial-off-the-shelf PCBs, covering different design scales, different threat models, and seven different anomaly types. The results confirm that PDNPulse creates an effective security asymmetry between attack and defense.}, + keywords = {anomaly detection,Anomaly detection,cyberattack,impedance,Impedance,Impedance measurement,power distribution networks,Printed circuits,Probes,Sensitivity,Trojan horses,Voltage measurement}, + file = {/home/jaseg/Sync/Research/Zotero/2023_Zhu et al_PDNPulse.pdf} +} + +@incollection{zicknerSpulen1927, + title = {Spulen}, + booktitle = {Taschenbuch Der Drahtlosen {{Telegraphie}} Und {{Telephonie}}}, + author = {Zickner, G.}, + editor = {Banneitz, Fritz}, + date = {1927}, + publisher = {Verlag von Julius Springer}, + keywords = {twisted-inductors} +}