RA Learning using RALib#132

Draft

Kax-y wants to merge 174 commits into

protocol-fuzzing:mainfrom

Kax-y:ci-args3

Commits on May 8, 2025

Merge pull request #8 from protocol-fuzzing/main
Kax-y
authored

Commits on Jan 14, 2026

Merge branch 'protocol-fuzzing:main' into main
00oskpet
authored
Updates inputs, outputs and add two new classes

actyp
authored and
00oskpet
committed
Update mapper related classes

actyp
authored and
00oskpet
committed
Update sul related classes

actyp
authored and
00oskpet
committed
Update outer classes

actyp
authored and
00oskpet
committed
Update setup_fuzzer pointing to generics branch

actyp
authored and
00oskpet
committed
Update according to generic machine model

actyp
authored and
00oskpet
committed
Introduce EdhocMapperComposer and simplify some things

actyp
authored and
00oskpet
committed
Simplify EdhocSul

actyp
authored and
00oskpet
committed
Update mapper related classes

actyp
authored and
00oskpet
committed
Update sul related classes

actyp
authored and
00oskpet
committed
Update outer classes

actyp
authored and
00oskpet
committed
Update according to generic machine model

actyp
authored and
00oskpet
committed
Introduce EdhocMapperComposer and simplify some things

actyp
authored and
00oskpet
committed
Simplify EdhocSul

actyp
authored and
00oskpet
committed
First draft of using RA components

00oskpet
and
Kax-y
committed
Added versions of various classes using RALib

Kax-y
and
00oskpet
committed
Change setup to clone our version of PSF

Kax-y
authored and
00oskpet
committed
Try to make OutputMapper map C_I to a parameter

00oskpet
and
Kax-y
committed
Co-authored-by: Linus Olofsson <Kax-y@users.noreply.github.com>
00oskpet
committed
spotbugs + pom update
00oskpet
committed
Remove pom packaging

Kax-y
and
00oskpet
committed
Update pom.xml

Kax-y
authored and
00oskpet
committed
Replace suppress rawtype warnings with <?>

Kax-y
and
00oskpet
committed
Update EdhocSessionPersistent with generated DataValues from RALib learner

Kax-y
and
00oskpet
committed
Implement AlphabetTransformer and use it

Kax-y
and
00oskpet
committed
Spotless:apply

00oskpet
and
Kax-y
committed
Restructure and add getDataTypes

00oskpet
and
Kax-y
committed
Use the AlphabetTransformerRA in the creation of StateFuzzerRA, TimingProbe and TestRunner
00oskpet
committed
Make XML-equivalent for DataType and use it in AlphabetTransformer and InputSymbolXML

00oskpet
and
Kax-y
committed
Update PojoXML with InputSymbolXML class
00oskpet
committed
Add RA configs and alphabet
00oskpet
committed
Adapt MultibuilderRA to StateFuzzerComposerRA changes

Kax-y
and
00oskpet
committed
Change CI for lakers to run the RA script

Kax-y
and
00oskpet
committed
Create and use EdhocInputConverter

00oskpet
and
Kax-y
committed
Update the californium commit hash
00oskpet
committed
pass the parameter values as well in EdhocInputConverter
00oskpet
committed
Update rise setup checkout commit hash

Kax-y
authored and
00oskpet
committed
Update EdhocOutputRA to give empty datavalue arrays instead of null for the cases when there are no values

00oskpet
and
Kax-y
committed
Add a logging configuration for the RALib package and update SLF4J-impl to to the version for SLF4J 1.7+

00oskpet
and
Kax-y
committed
Update own connection id instead of peer
00oskpet
committed
Rename InputSymbolXml to SymbolXml

00oskpet
and
Kax-y
committed
Add outputs to alphabet_ra and update the PojoXml

00oskpet
and
Kax-y
committed
Update the alphabetTransformer with the abillity to transform output symbols
00oskpet
committed
Change the InputSymbolXml in multibuilder to SymbolXml
00oskpet
committed
Logging & reformatting NOTE: might undo.
00oskpet
committed
Update the alphabetTransformer to transform into RALib input/output symbols

00oskpet
and
Kax-y
committed
Migrate mappers and SUL to use PSymbolInstance

00oskpet
and
Kax-y
committed
Set max depth and enable IO mode

00oskpet
and
Kax-y
committed
Create a smaller test alphabet

00oskpet
and
Kax-y
committed
Update the log4j configuration with more info, log AutomatonBuilder at error
00oskpet
committed
Update the OutputBuilder to build PSymbolInstances from MessageOutputType members

00oskpet
and
Kax-y
committed
Add unique output types with names different from the MessageInputTypes
00oskpet
committed
Change the alphabet to match MessageInputType and MessageOutputType
00oskpet
committed
Update logging config
00oskpet
committed
Disable parameters and update OutputMapperRA to only PSymbolInstance
00oskpet
committed
Change learning algorithm and add parameters
00oskpet
committed
Change ci.yml to use server_ra args file

Kax-y
authored and
00oskpet
committed
EnumAlphabet and enumerations to build from

00oskpet
and
Kax-y
committed
Change InputSymbolXml to SymbolXml in toTransformedInput default case
00oskpet
committed
Update Input/Ouput mapper and OutputBuilder to use new enumerations
00oskpet
committed
Create a dummy builder to be able to pass EnumAlphabet to PSF.
00oskpet
committed
Use EnumAlphabet and AlphabetDummyBuilder in MultiBuilderRA
00oskpet
committed
Add temporary dependencies on automatalib to allow creation of enumalphabet in EDHOC. It should probably be moved to PSF.
00oskpet
committed
Update loglevels
00oskpet
committed
Update the RISE configurations, currently with hardcoded filepaths which should be replaced at a later date.

00oskpet
and
Kax-y
committed
More fine-grained logging, keep only RaStar

00oskpet
and
Kax-y
committed
Update EnumAlphabet to use a map for easy symbol retreival, add some comments to the enum classes

00oskpet
and
Kax-y
committed
Add parameters and update the mappers with symbol retreival from the alphabet, thus instantiating it in one place
00oskpet
committed
Update beautify model for register automata
00oskpet
committed
Update the package path to MessageProcessorPersistant in the logger configuration
00oskpet
committed
Add RA configurations for all implementations and update CI
00oskpet
committed
Move EnumAlphabet and related parts to PSF

00oskpet
and
Kax-y
committed
Remove automatalib since it is no longer needed with EnumAlphabet in PSF
00oskpet
committed
Add edhoc data types enumeration
00oskpet
committed
EnumAlphabet and DataTypeMap for working CI (test, remove this with ammend if it works.)
00oskpet
committed
Fix the output mapper for only C_I learning
00oskpet
committed
Allow the creation of a RA-jar and a Mealy-jar
00oskpet
committed
Remove unused files for RA input types.
00oskpet
committed
Update CI to run RA learning
00oskpet
committed
Update timeouts in config files
00oskpet
committed
Update log levels
00oskpet
committed
Update oscore context
00oskpet
committed
Update argument files
00oskpet
committed
Update the linking of jar-files in setup_fuzzer.sh

00oskpet
and
Kax-y
committed
Run with tests because maven
00oskpet
committed
Update arguments and CI configurations

00oskpet
and
Kax-y
committed
Add separate logging entry for PSF LoggingWrapper
00oskpet
committed
Update client-testing functionallity
00oskpet
committed
Update all OSCORE Id:s
00oskpet
committed
Update logging
00oskpet
committed
Adapted timeouts to CI run

Kax-y
authored and
00oskpet
committed
Remove round limits

Kax-y
authored and
00oskpet
committed
Revert file paths for args

Kax-y
authored and
00oskpet
committed
Increase timeout for rise & m4 app ra

Kax-y
authored and
00oskpet
committed
Increase timeout on client m4 app ra

Kax-y
authored and
00oskpet
committed
Increase timeout args for lakers

Kax-y
authored and
00oskpet
committed
Set some logging from info to debug level

Kax-y
authored and
00oskpet
committed
Increase timeout for rise server CI test

Kax-y
authored and
00oskpet
committed
Change RA learning algorithm to RaLambda

Kax-y
authored and
00oskpet
committed
Remove unnecessary logs ci skip

Kax-y
authored and
00oskpet
committed
Update log4j2 ci skip

Kax-y
authored and
00oskpet
committed
Remove unused alphabet xml files and add dummy ci skip

Kax-y
authored and
00oskpet
committed
Remove unused enums ci skip

Kax-y
authored and
00oskpet
committed
Update CI to enable downloading results

Kax-y
and
00oskpet
committed
CI fix incorrect filepath

Kax-y
authored and
00oskpet
committed
Decrease maxRuns for RISE server & uoscore-uedhoc

Kax-y
authored and
00oskpet
committed
Run CI with RaStar again

Kax-y
authored and
00oskpet
committed
Run RISE & uOSCORE Server impl with time limit

Kax-y
authored and
00oskpet
committed
Do the diffing last to not fail artifact upload before it can run.
00oskpet
committed
Fix arg files for lakers, rise and uoscore server (timelimit & filepath)

Kax-y
authored and
00oskpet
committed
Update artifact upload with new paths and unique names.
00oskpet
committed
Run experiments with RaLambda

Kax-y
authored and
00oskpet
committed
RaLambda -> RaStar & Depth 4 -> 10

Kax-y
authored and
00oskpet
committed
Put depth back to 4 ci skip

Kax-y
authored and
00oskpet
committed
Decrease timeLimit for RISE & uOSCORE server

Kax-y
authored and
00oskpet
committed
give SIFIS-HOME artifact proper name ci skip
00oskpet
committed
Run CI experiments with RaLambda

Kax-y
authored and
00oskpet
committed
Remove socket_closed from sifis-home client

Kax-y
authored and
00oskpet
committed
Update maxDepthRA to 10 for all arg files ci skip

Kax-y
and
00oskpet
committed
Add all RA results and setup RA Diff in CI

Kax-y
authored and
00oskpet
committed
Run with RaStar instead

Kax-y
authored and
00oskpet
committed
Update saved results ci skip

Kax-y
authored and
00oskpet
committed
Increase lakers server timeout and put timeLimit on sifis-home server

Kax-y
authored and
00oskpet
committed
Update CI diff for RISE server ci skip

Kax-y
authored and
00oskpet
committed
Put maxDepthRA back to 4 for sifis-home & lakers server

Kax-y
authored and
00oskpet
committed
Update saved results for lakers server

Kax-y
authored and
00oskpet
committed
Add pdfs with shortened names to saved results ci skip

Kax-y
authored and
00oskpet
committed
Run CI tests with RaLambda

Kax-y
authored and
00oskpet
committed
use RaStar for experiments again to clear PR checks

Kax-y
authored and
00oskpet
committed
Updates inputs, outputs and add two new classes

actyp
authored and
00oskpet
committed
Update mapper related classes

actyp
authored and
00oskpet
committed
Update sul related classes

actyp
authored and
00oskpet
committed
Update outer classes

actyp
authored and
00oskpet
committed
Update setup_fuzzer pointing to generics branch

actyp
authored and
00oskpet
committed
Update according to generic machine model

actyp
authored and
00oskpet
committed
Introduce EdhocMapperComposer and simplify some things

actyp
authored and
00oskpet
committed
Simplify EdhocSul

actyp
authored and
00oskpet
committed
Update protocol-state-fuzzer setup

actyp
authored and
00oskpet
committed
update from fork to real psf

Kax-y
authored and
00oskpet
committed
Update dependency hashes in setup_fuzzer.sh
00oskpet
committed
Latest psf
00oskpet
committed
install ralib with mvn install
00oskpet
committed
Fix
00oskpet
committed
Update to new outputBuilder
00oskpet
committed
BuildOutputExact
00oskpet
committed
sideprocessor
00oskpet
committed
Yeet!
00oskpet
committed